| Index: trunk/phase3/math/render.ml |
| — | — | @@ -19,7 +19,8 @@ |
| 20 | 20 | Sys.remove (tmpprefix ^ ".aux"); |
| 21 | 21 | Sys.remove (tmpprefix ^ ".log"); |
| 22 | 22 | Sys.remove (tmpprefix ^ ".tex"); |
| 23 | | - Sys.remove (tmpprefix ^ ".ps"); |
| | 23 | + if Sys.file_exists (tmpprefix ^ ".ps") |
| | 24 | + then Sys.remove (tmpprefix ^ ".ps"); |
| 24 | 25 | end in |
| 25 | 26 | let f = (Util.open_out_unless_exists (tmpprefix ^ ".tex")) in |
| 26 | 27 | begin |
| Index: trunk/phase3/math/texutil.ml |
| — | — | @@ -152,6 +152,13 @@ |
| 153 | 153 | | "\\Downarrow" -> DELIMITER (HTMLABLE (FONT_UF, "\\Downarrow ", "⇓")) |
| 154 | 154 | | "\\updownarrow" -> DELIMITER (TEX_ONLY "\\updownarrow ") |
| 155 | 155 | | "\\Updownarrow" -> DELIMITER (TEX_ONLY "\\Updownarrow ") |
| | 156 | + | "\\ulcorner" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\ulcorner ")) |
| | 157 | + | "\\urcorner" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\urcorner ")) |
| | 158 | + | "\\llcorner" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\llcorner ")) |
| | 159 | + | "\\lrcorner" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\lrcorner ")) |
| | 160 | + | "\\twoheadleftarrow" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\twoheadleftarrow ")) |
| | 161 | + | "\\twoheadrightarrow" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\twoheadrightarrow ")) |
| | 162 | + | "\\rightleftharpoons" -> DELIMITER (TEX_ONLY "\\rightleftharpoons ") |
| 156 | 163 | | "\\leftrightarrow" -> LITERAL (HTMLABLE (FONT_UF, "\\leftrightarrow ", "↔")) |
| 157 | 164 | | "\\lrarr" -> LITERAL (HTMLABLE (FONT_UF, "\\leftrightarrow ", "↔")) |
| 158 | 165 | | "\\harr" -> LITERAL (HTMLABLE (FONT_UF, "\\leftrightarrow ", "↔")) |
| — | — | @@ -169,7 +176,6 @@ |
| 170 | 177 | | "\\nearrow" -> LITERAL (TEX_ONLY "\\nearrow ") |
| 171 | 178 | | "\\swarrow" -> LITERAL (TEX_ONLY "\\swarrow ") |
| 172 | 179 | | "\\nwarrow" -> LITERAL (TEX_ONLY "\\nwarrow ") |
| 173 | | - | "\\sim" -> LITERAL (TEX_ONLY "\\sim ") |
| 174 | 180 | | "\\simeq" -> LITERAL (TEX_ONLY "\\simeq ") |
| 175 | 181 | | "\\star" -> LITERAL (TEX_ONLY "\\star ") |
| 176 | 182 | | "\\ell" -> LITERAL (TEX_ONLY "\\ell ") |
| — | — | @@ -440,6 +446,7 @@ |
| 441 | 447 | | "\\choose" -> FUN_INFIX "\\choose " |
| 442 | 448 | | "\\atop" -> FUN_INFIX "\\atop " |
| 443 | 449 | | "\\binom" -> FUN_AR2 "\\binom " |
| | 450 | + | "\\stackrel" -> FUN_AR2 "\\stackrel " |
| 444 | 451 | | "\\frac" -> FUN_AR2h ("\\frac ", fun num den -> Html.html_render [num], "<hr style=\"{background: black}\"/>", Html.html_render [den]) |
| 445 | 452 | | "\\cfrac" -> (tex_use_ams (); FUN_AR2h ("\\cfrac ", fun num den -> Html.html_render [num], "<hr style=\"{background: black}\">", Html.html_render [den])) |
| 446 | 453 | | "\\over" -> FUN_INFIXh ("\\over ", fun num den -> Html.html_render num, "<hr style=\"{background: black}\"/>", Html.html_render den) |
| Index: trunk/phase3/RELEASE-NOTES |
| — | — | @@ -279,8 +279,10 @@ |
| 280 | 280 | * (bug 7526) Make $wgDefaultUserOptions work again |
| 281 | 281 | * (bug 7472) Localize Help namespace for Basque |
| 282 | 282 | * (bug 7529) Including a non-existent category in an article places that article in the category |
| | 283 | +* (bug 4528) Lack of important LaTeX functions stackrel, rightleftharpoon |
| | 284 | +* (bug 6721) missing symbols ulcorner, urcorner, llcorner, lrcorner, twoheadrightarrow, twoheadleftarrow |
| | 285 | +* (bug 7367) Hyphens sometimes erroneously appended to equations when not converted to PNG |
| 283 | 286 | |
| 284 | | - |
| 285 | 287 | == Languages updated == |
| 286 | 288 | |
| 287 | 289 | * Albanian (sq) |