/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: 2010-09-05 04:52:15 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20100905045215-mkhko183mppvzcra
Tags: 1.3.27
itex2MML 1.3.27: Fixed \dots

\dots, and its cousins, should
be <mi> elements, not <mo>'s.

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.l
1
 
/*             itex2MML 1.3.26
2
 
 *   itex2MML.l last modified 7/20/2010
 
1
/*             itex2MML 1.3.27
 
2
 *   itex2MML.l last modified 9/3/2010
3
3
 */
4
4
 
5
5
%{
368
368
 
369
369
 
370
370
"\\dots" |
371
 
"\\ldots"  {yylval=itex2MML_copy_string("&hellip;"); return MO;}
372
 
"\\cdots"   {yylval=itex2MML_copy_string("&ctdot;"); return MO;}
373
 
"\\ddots"   {yylval=itex2MML_copy_string("&dtdot;"); return MO;}
374
 
"\\udots"   {yylval=itex2MML_copy_string("&utdot;"); return MO;}
375
 
"\\vdots"   {yylval=itex2MML_copy_string("&vellip;"); return MO;}
 
371
"\\ldots"  {yylval=itex2MML_copy_string("&hellip;"); return MI;}
 
372
"\\cdots"   {yylval=itex2MML_copy_string("&ctdot;"); return MI;}
 
373
"\\ddots"   {yylval=itex2MML_copy_string("&dtdot;"); return MI;}
 
374
"\\udots"   {yylval=itex2MML_copy_string("&utdot;"); return MI;}
 
375
"\\vdots"   {yylval=itex2MML_copy_string("&vellip;"); return MI;}
376
376
"\\colon"   {yylval=itex2MML_copy_string("&colon;"); return MOR;}
377
377
 
378
378
"\\cup"  |