/itexToMML

To download this project, use:
bzr branch http://golem.ph.utexas.edu/~distler/code/itexToMML/

« back to all changes in this revision

Viewing changes to itex-src/itex2MML.l

  • Committer: Jacques Distler
  • Date: 2009-08-28 14:10:38 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20090828141038-t2de6v9mku80idr9
Tags: 1.3.10
itex2MML 1.3.10

Add support for \underline{} (thanks to Andrew Stacey).
Rollback a hack to work around an old Mozilla bug in 
displaying <mn> elements. This no longer appears to be
necessary, and may have been interfering with Andrew's
addition.

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.3.9
2
 
 *   itex2MML.l last modified 7/9/2009
 
1
/*             itex2MML 1.3.10
 
2
 *   itex2MML.l last modified 8/28/2009
3
3
 */
4
4
 
5
5
%{
89
89
 
90
90
[a-zA-Z]+       {yylval=itex2MML_copy_string(yytext); return MI;}
91
91
 
92
 
[0-9,.]*[0-9]+          {yylval=itex2MML_copy2(yytext, " "); return MN;}
 
92
[0-9,.]*[0-9]+          {yylval=itex2MML_copy_string(yytext); return MN;}
93
93
"\\infty"   |
94
94
"\\infinity"     {yylval=itex2MML_copy_string("&infin;"); return MN;}
95
95
 
670
670
 
671
671
"\\underbrace"   {return UNDERBRACE;}
672
672
 
 
673
"\\underline"   {return UNDERLINE;}
 
674
 
673
675
"\\bar"          {return BAR;}
674
676
"\\overline" |
675
677
"\\closure" |