Index: trunk/extensions/Math/math/lexer.mll |
— | — | @@ -11,8 +11,8 @@ |
12 | 12 | let delimiter_uf_lt = ['(' ')' '.'] |
13 | 13 | let literal_uf_op = ['+' '-' '*' '='] |
14 | 14 | let delimiter_uf_op = ['/' '|'] |
15 | | -let boxchars = ['0'-'9' 'a'-'z' 'A'-'Z' '+' '-' '*' ',' '=' '(' ')' ':' '/' ';' '?' '.' '!' ' ' '\128'-'\255'] |
16 | | -let aboxchars = ['0'-'9' 'a'-'z' 'A'-'Z' '+' '-' '*' ',' '=' '(' ')' ':' '/' ';' '?' '.' '!' ' '] |
| 15 | +let boxchars = ['0'-'9' 'a'-'z' 'A'-'Z' '+' '-' '*' ',' '=' '(' ')' ':' '/' ';' '?' '.' '!' '\'' '`' ' ' '\128'-'\255'] |
| 16 | +let aboxchars = ['0'-'9' 'a'-'z' 'A'-'Z' '+' '-' '*' ',' '=' '(' ')' ':' '/' ';' '?' '.' '\'' '`' '!' ' '] |
17 | 17 | let latex_function_names = "arccos"| "arcsin" | "arctan" | "arg" | "cos" | "cosh" | "cot" | "coth" | "csc"| "deg" | "det" | "dim" | "exp" | "gcd" | "hom" | "inf" | "ker" | "lg" | "lim" | "liminf" | "limsup" | "ln" | "log" | "max" | "min" | "Pr" | "sec" | "sin" | "sinh" | "sup" | "tan" | "tanh" |
18 | 18 | let mediawiki_function_names = "arccot" | "arcsec" | "arccsc" | "sgn" | "sen" |
19 | 19 | |