--- a/src/Tools/8bit/c-sources/isa2latex/conv-lex.x Thu Apr 02 17:19:02 1998 +0200
+++ b/src/Tools/8bit/c-sources/isa2latex/conv-lex.x Fri Apr 03 09:54:48 1998 +0200
@@ -202,60 +202,62 @@
/* The following is generated by the perl script gen-isa2latex. */
/* Make modifications in configuration file for gen-isa2latex! */
/* BEGIN_OF_SEQ_TABLE */
-<ISA,ISAA>êë put((char)32,TRUE,0);
-<ISAA>==> put((char)32,TRUE,0);
-<ISA,ISAA>çè put((char)32,TRUE,1);
-<ISAA>--> put((char)32,TRUE,1);
-<ISA,ISAA>Ã! put((char)32,TRUE,2);
-<ISAA>\?! put((char)32,TRUE,2);
-<ISA,ISAA>ALL@@@@@ put((char)32,TRUE,3);
-<ISAA>ALL\ put((char)32,TRUE,3);
-<ISA,ISAA>EX@@@@@ put((char)32,TRUE,4);
-<ISAA>EX\ put((char)32,TRUE,4);
-<ISA,ISAA><<\| put((char)32,TRUE,5);
-<ISAA><<\| put((char)32,TRUE,5);
-<ISA,ISAA><\| put((char)32,TRUE,6);
-<ISAA><\| put((char)32,TRUE,6);
-<ISA,ISAA>éê put((char)32,TRUE,7);
-<ISAA><== put((char)32,TRUE,7);
-<ISA,ISAA>éë put((char)32,TRUE,8);
-<ISAA><=> put((char)32,TRUE,8);
-<ISA,ISAA>æç put((char)32,TRUE,9);
-<ISAA><-- put((char)32,TRUE,9);
-<ISA,ISAA>æè put((char)32,TRUE,10);
-<ISAA><-> put((char)32,TRUE,10);
-<ISA,ISAA>\^-1 put((char)32,TRUE,11);
-<ISAA>\^-1 put((char)32,TRUE,11);
-<ISA,ISAA>arities put((char)32,TRUE,12);
-<ISAA>@arities put((char)32,TRUE,12);
-<ISA,ISAA>axclass put((char)32,TRUE,13);
-<ISAA>@axclass put((char)32,TRUE,13);
-<ISA,ISAA>constdefs put((char)32,TRUE,14);
-<ISAA>@constdefs put((char)32,TRUE,14);
-<ISA,ISAA>consts put((char)32,TRUE,15);
-<ISAA>@consts put((char)32,TRUE,15);
-<ISA,ISAA>datatype put((char)32,TRUE,16);
-<ISAA>@datatype put((char)32,TRUE,16);
-<ISA,ISAA>defs put((char)32,TRUE,17);
-<ISAA>@defs put((char)32,TRUE,17);
-<ISA,ISAA>domain put((char)32,TRUE,18);
-<ISAA>@domain put((char)32,TRUE,18);
-<ISA,ISAA>inductive put((char)32,TRUE,19);
-<ISAA>@inductive put((char)32,TRUE,19);
-<ISA,ISAA>instance put((char)32,TRUE,20);
-<ISAA>@instance put((char)32,TRUE,20);
-<ISA,ISAA>primrec put((char)32,TRUE,21);
-<ISAA>@primrec put((char)32,TRUE,21);
-<ISA,ISAA>recdef put((char)32,TRUE,22);
-<ISAA>@recdef put((char)32,TRUE,22);
-<ISA,ISAA>rules put((char)32,TRUE,23);
-<ISAA>@rules put((char)32,TRUE,23);
-<ISA,ISAA>translations put((char)32,TRUE,24);
-<ISAA>@translations put((char)32,TRUE,24);
-<ISA,ISAA>typedef put((char)32,TRUE,25);
-<ISAA>@typedef put((char)32,TRUE,25);
-<ISA,ISAA>types put((char)32,TRUE,26);
-<ISAA>@types put((char)32,TRUE,26);
+<ISA,ISAA>êë put((char)32,TRUE,0);
+<ISAA>==> put((char)32,TRUE,0);
+<ISA,ISAA>çè put((char)32,TRUE,1);
+<ISAA>--> put((char)32,TRUE,1);
+<ISA,ISAA>Ã! put((char)32,TRUE,2);
+<ISAA>\?! put((char)32,TRUE,2);
+<ISA,ISAA>ALL@@@@@ put((char)32,TRUE,3);
+<ISAA>ALL\ put((char)32,TRUE,3);
+<ISA,ISAA>EX@@@@@ put((char)32,TRUE,4);
+<ISAA>EX\ put((char)32,TRUE,4);
+<ISA,ISAA><<\| put((char)32,TRUE,5);
+<ISAA>@<<\| put((char)32,TRUE,5);
+<ISA,ISAA><\| put((char)32,TRUE,6);
+<ISAA>@<\| put((char)32,TRUE,6);
+<ISA,ISAA>éê put((char)32,TRUE,7);
+<ISAA><== put((char)32,TRUE,7);
+<ISA,ISAA>éë put((char)32,TRUE,8);
+<ISAA><=> put((char)32,TRUE,8);
+<ISA,ISAA>æç put((char)32,TRUE,9);
+<ISAA><-- put((char)32,TRUE,9);
+<ISA,ISAA>æè put((char)32,TRUE,10);
+<ISAA><-> put((char)32,TRUE,10);
+<ISA,ISAA>^arities put((char)32,TRUE,11);
+<ISAA>^@arities put((char)32,TRUE,11);
+<ISA,ISAA>^axclass put((char)32,TRUE,12);
+<ISAA>^@axclass put((char)32,TRUE,12);
+<ISA,ISAA>^constdefs put((char)32,TRUE,13);
+<ISAA>^@constdefs put((char)32,TRUE,13);
+<ISA,ISAA>^consts put((char)32,TRUE,14);
+<ISAA>^@consts put((char)32,TRUE,14);
+<ISA,ISAA>^datatype put((char)32,TRUE,15);
+<ISAA>^@datatype put((char)32,TRUE,15);
+<ISA,ISAA>^defs put((char)32,TRUE,16);
+<ISAA>^@defs put((char)32,TRUE,16);
+<ISA,ISAA>^domain put((char)32,TRUE,17);
+<ISAA>^@domain put((char)32,TRUE,17);
+<ISA,ISAA>^end put((char)32,TRUE,18);
+<ISAA>^@end put((char)32,TRUE,18);
+<ISA,ISAA>^inductive put((char)32,TRUE,19);
+<ISAA>^@inductive put((char)32,TRUE,19);
+<ISA,ISAA>^instance put((char)32,TRUE,20);
+<ISAA>^@instance put((char)32,TRUE,20);
+<ISA,ISAA>^primrec put((char)32,TRUE,21);
+<ISAA>^@primrec put((char)32,TRUE,21);
+<ISA,ISAA>^recdef put((char)32,TRUE,22);
+<ISAA>^@recdef put((char)32,TRUE,22);
+<ISA,ISAA>^rules put((char)32,TRUE,23);
+<ISAA>^@rules put((char)32,TRUE,23);
+<ISA,ISAA>^syntax put((char)32,TRUE,24);
+<ISAA>^@syntax put((char)32,TRUE,24);
+<ISA,ISAA>^translations put((char)32,TRUE,25);
+<ISAA>^@translations put((char)32,TRUE,25);
+<ISA,ISAA>^typedef put((char)32,TRUE,26);
+<ISAA>^@typedef put((char)32,TRUE,26);
+<ISA,ISAA>^types put((char)32,TRUE,27);
+<ISAA>^@types put((char)32,TRUE,27);
/* END_OF_SEQ_TABLE */
/* This is the end of the generated part */