diff -r 8c7e7eaffbdf -r b6729feb8a5d src/Tools/8bit/c-sources/isa2latex/conv-lex.x --- 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 */ -êë put((char)32,TRUE,0); -==> put((char)32,TRUE,0); -çè put((char)32,TRUE,1); ---> put((char)32,TRUE,1); -Ã! put((char)32,TRUE,2); -\?! put((char)32,TRUE,2); -ALL@@@@@ put((char)32,TRUE,3); -ALL\ put((char)32,TRUE,3); -EX@@@@@ put((char)32,TRUE,4); -EX\ put((char)32,TRUE,4); -<<\| put((char)32,TRUE,5); -<<\| put((char)32,TRUE,5); -<\| put((char)32,TRUE,6); -<\| put((char)32,TRUE,6); -éê put((char)32,TRUE,7); -<== put((char)32,TRUE,7); -éë put((char)32,TRUE,8); -<=> put((char)32,TRUE,8); -æç put((char)32,TRUE,9); -<-- put((char)32,TRUE,9); -æè put((char)32,TRUE,10); -<-> put((char)32,TRUE,10); -\^-1 put((char)32,TRUE,11); -\^-1 put((char)32,TRUE,11); -arities put((char)32,TRUE,12); -@arities put((char)32,TRUE,12); -axclass put((char)32,TRUE,13); -@axclass put((char)32,TRUE,13); -constdefs put((char)32,TRUE,14); -@constdefs put((char)32,TRUE,14); -consts put((char)32,TRUE,15); -@consts put((char)32,TRUE,15); -datatype put((char)32,TRUE,16); -@datatype put((char)32,TRUE,16); -defs put((char)32,TRUE,17); -@defs put((char)32,TRUE,17); -domain put((char)32,TRUE,18); -@domain put((char)32,TRUE,18); -inductive put((char)32,TRUE,19); -@inductive put((char)32,TRUE,19); -instance put((char)32,TRUE,20); -@instance put((char)32,TRUE,20); -primrec put((char)32,TRUE,21); -@primrec put((char)32,TRUE,21); -recdef put((char)32,TRUE,22); -@recdef put((char)32,TRUE,22); -rules put((char)32,TRUE,23); -@rules put((char)32,TRUE,23); -translations put((char)32,TRUE,24); -@translations put((char)32,TRUE,24); -typedef put((char)32,TRUE,25); -@typedef put((char)32,TRUE,25); -types put((char)32,TRUE,26); -@types put((char)32,TRUE,26); +êë put((char)32,TRUE,0); +==> put((char)32,TRUE,0); +çè put((char)32,TRUE,1); +--> put((char)32,TRUE,1); +Ã! put((char)32,TRUE,2); +\?! put((char)32,TRUE,2); +ALL@@@@@ put((char)32,TRUE,3); +ALL\ put((char)32,TRUE,3); +EX@@@@@ put((char)32,TRUE,4); +EX\ put((char)32,TRUE,4); +<<\| put((char)32,TRUE,5); +@<<\| put((char)32,TRUE,5); +<\| put((char)32,TRUE,6); +@<\| put((char)32,TRUE,6); +éê put((char)32,TRUE,7); +<== put((char)32,TRUE,7); +éë put((char)32,TRUE,8); +<=> put((char)32,TRUE,8); +æç put((char)32,TRUE,9); +<-- put((char)32,TRUE,9); +æè put((char)32,TRUE,10); +<-> put((char)32,TRUE,10); +^arities put((char)32,TRUE,11); +^@arities put((char)32,TRUE,11); +^axclass put((char)32,TRUE,12); +^@axclass put((char)32,TRUE,12); +^constdefs put((char)32,TRUE,13); +^@constdefs put((char)32,TRUE,13); +^consts put((char)32,TRUE,14); +^@consts put((char)32,TRUE,14); +^datatype put((char)32,TRUE,15); +^@datatype put((char)32,TRUE,15); +^defs put((char)32,TRUE,16); +^@defs put((char)32,TRUE,16); +^domain put((char)32,TRUE,17); +^@domain put((char)32,TRUE,17); +^end put((char)32,TRUE,18); +^@end put((char)32,TRUE,18); +^inductive put((char)32,TRUE,19); +^@inductive put((char)32,TRUE,19); +^instance put((char)32,TRUE,20); +^@instance put((char)32,TRUE,20); +^primrec put((char)32,TRUE,21); +^@primrec put((char)32,TRUE,21); +^recdef put((char)32,TRUE,22); +^@recdef put((char)32,TRUE,22); +^rules put((char)32,TRUE,23); +^@rules put((char)32,TRUE,23); +^syntax put((char)32,TRUE,24); +^@syntax put((char)32,TRUE,24); +^translations put((char)32,TRUE,25); +^@translations put((char)32,TRUE,25); +^typedef put((char)32,TRUE,26); +^@typedef put((char)32,TRUE,26); +^types put((char)32,TRUE,27); +^@types put((char)32,TRUE,27); /* END_OF_SEQ_TABLE */ /* This is the end of the generated part */