dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
ce1c827
)
Quick patch for dollar-sign as dollar or backslash-dollar; from taw
author
Brion Vibber
<brion@users.mediawiki.org>
Mon, 19 May 2003 22:40:16 +0000
(22:40 +0000)
committer
Brion Vibber
<brion@users.mediawiki.org>
Mon, 19 May 2003 22:40:16 +0000
(22:40 +0000)
math/lexer.mll
patch
|
blob
|
history
diff --git
a/math/lexer.mll
b/math/lexer.mll
index
ff871cb
..
c56c30b
100644
(file)
--- a/
math/lexer.mll
+++ b/
math/lexer.mll
@@
-61,6
+61,7
@@
rule token = parse
| "\\_" { LITERAL (HTMLABLEC(FONT_UFH,"\\_","_")) }
| "\\#" { LITERAL (HTMLABLE (FONT_UFH,"\\#","#")) }
| "\\%" { LITERAL (HTMLABLE (FONT_UFH,"\\%","%")) }
| "\\_" { LITERAL (HTMLABLEC(FONT_UFH,"\\_","_")) }
| "\\#" { LITERAL (HTMLABLE (FONT_UFH,"\\#","#")) }
| "\\%" { LITERAL (HTMLABLE (FONT_UFH,"\\%","%")) }
+ | "\\$" { LITERAL (HTMLABLE (FONT_UFH,"\\$","$")) }
| "&" { NEXT_CELL }
| "\\\\" { NEXT_ROW }
| "\\begin{matrix}" { Texutil.tex_use_ams(); BEGIN__MATRIX }
| "&" { NEXT_CELL }
| "\\\\" { NEXT_ROW }
| "\\begin{matrix}" { Texutil.tex_use_ams(); BEGIN__MATRIX }
@@
-80,6
+81,7
@@
rule token = parse
| '>' { LITERAL (HTMLABLEC(FONT_UFH,">"," > ")) }
| '<' { LITERAL (HTMLABLEC(FONT_UFH,"<"," < ")) }
| '%' { LITERAL (HTMLABLEC(FONT_UFH,"\\%","%")) }
| '>' { LITERAL (HTMLABLEC(FONT_UFH,">"," > ")) }
| '<' { LITERAL (HTMLABLEC(FONT_UFH,"<"," < ")) }
| '%' { LITERAL (HTMLABLEC(FONT_UFH,"\\%","%")) }
+ | '$' { LITERAL (HTMLABLEC(FONT_UFH,"\\$","$")) }
| '~' { LITERAL (HTMLABLE (FONT_UF, "~"," ")) }
| '[' { DELIMITER (HTMLABLEC(FONT_UFH,"[","[")) }
| ']' { SQ_CLOSE }
| '~' { LITERAL (HTMLABLE (FONT_UF, "~"," ")) }
| '[' { DELIMITER (HTMLABLEC(FONT_UFH,"[","[")) }
| ']' { SQ_CLOSE }