several minor improvements
authoroheimb
Wed Nov 05 15:45:51 1997 +0100 (1997-11-05)
changeset 41706b8bbcc9f05f
parent 4169 c63f261fb025
child 4171 93448766eb5a
several minor improvements
src/Tools/8bit/c-sources/isa2latex/conv-defs.h
src/Tools/8bit/c-sources/isa2latex/conv-lex.x
src/Tools/8bit/c-sources/isa2latex/conv-main.c
src/Tools/8bit/c-sources/isa2latex/conv-tables.h
src/Tools/8bit/c-sources/isa2latex/isa2latex
     1.1 --- a/src/Tools/8bit/c-sources/isa2latex/conv-defs.h	Wed Nov 05 15:42:30 1997 +0100
     1.2 +++ b/src/Tools/8bit/c-sources/isa2latex/conv-defs.h	Wed Nov 05 15:45:51 1997 +0100
     1.3 @@ -54,8 +54,8 @@
     1.4  /* BEGIN gen-isa2latex */
     1.5  #define START_LOW_TABLE 32
     1.6  #define END_LOW_TABLE   126
     1.7 -#define START_HI_TABLE  161
     1.8 +#define START_HI_TABLE  160
     1.9  #define END_HI_TABLE    255
    1.10 -#define SEQ_TABLE       11
    1.11 +#define SEQ_TABLE       27
    1.12  /* END gen-isa2latex */
    1.13  
     2.1 --- a/src/Tools/8bit/c-sources/isa2latex/conv-lex.x	Wed Nov 05 15:42:30 1997 +0100
     2.2 +++ b/src/Tools/8bit/c-sources/isa2latex/conv-lex.x	Wed Nov 05 15:45:51 1997 +0100
     2.3 @@ -18,7 +18,7 @@
     2.4  extern FILE *finput, *foutput;
     2.5  extern int tabBlanks;
     2.6  extern int tabcount;
     2.7 -extern char isa_env_beg[], isa_env_end[];
     2.8 +extern char isa_env_beg0[], isa_env_beg1[], isa_env_end[];
     2.9  extern int convMode;
    2.10  extern int accept_ASCII;
    2.11  extern int destCode;
    2.12 @@ -44,11 +44,14 @@
    2.13    else 
    2.14  	BEGIN_ISA;
    2.15  
    2.16 -<LATEX>\\I@		{ BEGIN_ISA; inline_mode=TRUE ; fprintf(foutput, 
    2.17 -				"{\\isainline{"); }
    2.18 -<LATEX>\\I@isa[ \t]*\n?	{ BEGIN_ISA; inline_mode=FALSE; fprintf(foutput, 
    2.19 -				isa_env_beg); reset_tabs(); 
    2.20 -			  if (yytext[strlen(yytext)-1] == '\n') lineno++;
    2.21 +<LATEX>\\I@@?		{ BEGIN_ISA; inline_mode=TRUE ; fprintf(foutput, 
    2.22 +			  (yytext[3]=='@' ? "\\mbox{\\isainline[\\isamodify]{"
    2.23 +					  : "\\mbox{\\isainline{")); }
    2.24 +<LATEX>\\I@isa@?[ \t]*\n? { BEGIN_ISA; inline_mode=FALSE; fprintf(foutput, 
    2.25 +				(yytext[6]=='@' ? isa_env_beg1
    2.26 +						: isa_env_beg0)); reset_tabs(); 
    2.27 +			  if (yytext[strlen(yytext)-1] == '\n')
    2.28 +			  { fprintf(foutput, "\n"); lineno++; }
    2.29  			}
    2.30  <LATEX>\\E@		{ ECHO; not_suitable("\\E@","LATEX"); }
    2.31  <LATEX>\n		{ put(*yytext,FALSE,0); lineno++; }
    2.32 @@ -59,7 +62,9 @@
    2.33  			  else
    2.34  			  { ECHO; not_suitable("\\I@","ISA"); }
    2.35  			}
    2.36 -<ISA,ISAA>\n?[ \t]*\\I@isa	{ if (inline_mode)
    2.37 +<ISA,ISAA>\n?[ \t]*\\I@isa {if (yytext[0] == '\n')
    2.38 +			    { fprintf(foutput, "\n"); lineno++; };
    2.39 +			  if (inline_mode)
    2.40  			  { ECHO; not_suitable("\\I@isa","INLINE"); }
    2.41  			  else
    2.42  			  { if (convMode == MIXED) {
    2.43 @@ -68,7 +73,6 @@
    2.44  			      ECHO; warning(
    2.45  				"\\I@isa only allowed with -x option"); }
    2.46  			  }
    2.47 -			  if (yytext[0] == '\n') lineno++;
    2.48  			}
    2.49  <ISA,ISAA>\\E@		{ BEGIN ESC; fprintf(foutput, "{\\isaescape{"); }
    2.50  <ISA,ISAA><<EOF>>	{ if (convMode == MIXED) 
    2.51 @@ -96,129 +100,162 @@
    2.52    /* The following is generated by the perl script gen-isa2latex. */
    2.53    /* Make modifications in configuration file for gen-isa2latex!  */             
    2.54    /* BEGIN_OF_HI_TABLE */
    2.55 -<ISAA>\\Gamma\         	put((char)161,FALSE,0);
    2.56 -<ISAA>\\Delta\         	put((char)162,FALSE,0);
    2.57 -<ISAA>\\Theta\         	put((char)163,FALSE,0);
    2.58 -<ISAA>LAM\             	put((char)164,FALSE,0);
    2.59 -<ISAA>\\Pi\            	put((char)165,FALSE,0);
    2.60 -<ISAA>\\Sigma\         	put((char)166,FALSE,0);
    2.61 -<ISAA>\\Phi\           	put((char)167,FALSE,0);
    2.62 -<ISAA>\\Psi\           	put((char)168,FALSE,0);
    2.63 -<ISAA>\\Omega\         	put((char)169,FALSE,0);
    2.64 -<ISAA>'a               	put((char)170,FALSE,0);
    2.65 -<ISAA>'b               	put((char)171,FALSE,0);
    2.66 -<ISAA>'c               	put((char)172,FALSE,0);
    2.67 -<ISAA>\\delta\         	put((char)173,FALSE,0);
    2.68 -<ISAA>\\varepsilon\    	put((char)174,FALSE,0);
    2.69 -<ISAA>\\zeta\          	put((char)175,FALSE,0);
    2.70 -<ISAA>\\eta\           	put((char)176,FALSE,0);
    2.71 -<ISAA>\\vartheta\      	put((char)177,FALSE,0);
    2.72 -<ISAA>\\kappa\         	put((char)178,FALSE,0);
    2.73 -<ISAA>%\               	put((char)179,FALSE,0);
    2.74 -<ISAA>\\mu\            	put((char)180,FALSE,0);
    2.75 -<ISAA>\\nu\            	put((char)181,FALSE,0);
    2.76 -<ISAA>\\xi\            	put((char)182,FALSE,0);
    2.77 -<ISAA>\\pi\            	put((char)183,FALSE,0);
    2.78 -<ISAA>'r               	put((char)184,FALSE,0);
    2.79 -<ISAA>'s               	put((char)185,FALSE,0);
    2.80 -<ISAA>'t               	put((char)186,FALSE,0);
    2.81 -<ISAA>\\varphi\        	put((char)187,FALSE,0);
    2.82 -<ISAA>\\chi\           	put((char)188,FALSE,0);
    2.83 -<ISAA>\\psi\           	put((char)189,FALSE,0);
    2.84 -<ISAA>\\omega\         	put((char)190,FALSE,0);
    2.85 -<ISAA>~\               	put((char)191,FALSE,0);
    2.86 -<ISAA>&\               	put((char)192,FALSE,0);
    2.87 -<ISAA>\|\              	put((char)193,FALSE,0);
    2.88 -<ISAA>!\               	put((char)194,FALSE,0);
    2.89 -<ISAA>\?\              	put((char)195,FALSE,0);
    2.90 -<ISAA>!!               	put((char)196,FALSE,0);
    2.91 -<ISAA>\\lceil\         	put((char)197,FALSE,0);
    2.92 -<ISAA>\\rceil\         	put((char)198,FALSE,0);
    2.93 -<ISAA>\\lfloor\        	put((char)199,FALSE,0);
    2.94 -<ISAA>\\rfloor\        	put((char)200,FALSE,0);
    2.95 -<ISAA>\(\|             	put((char)201,FALSE,0);
    2.96 -<ISAA>\|\)             	put((char)202,FALSE,0);
    2.97 -<ISAA>\[\|             	put((char)203,FALSE,0);
    2.98 -<ISAA>\|\]             	put((char)204,FALSE,0);
    2.99 -<ISAA>{}               	put((char)205,FALSE,0);
   2.100 -<ISAA>\ :\             	put((char)206,FALSE,0);
   2.101 -<ISAA>\subseteq\       	put((char)207,FALSE,0);
   2.102 -<ISAA>\ Int\           	put((char)208,FALSE,0);
   2.103 -<ISAA>\ Un\            	put((char)209,FALSE,0);
   2.104 -<ISAA>Inter\           	put((char)210,FALSE,0);
   2.105 -<ISAA>Union\           	put((char)211,FALSE,0);
   2.106 -<ISAA>\sqcap\          	put((char)212,FALSE,0);
   2.107 -<ISAA>\sqcup\          	put((char)213,FALSE,0);
   2.108 -<ISAA>glb\             	put((char)214,FALSE,0);
   2.109 -<ISAA>lub\             	put((char)215,FALSE,0);
   2.110 -<ISAA>UU               	put((char)216,FALSE,0);
   2.111 -<ISAA>===              	put((char)217,FALSE,0);
   2.112 -<ISAA>==               	put((char)218,FALSE,0);
   2.113 -<ISAA>~=               	put((char)219,FALSE,0);
   2.114 -<ISAA>\\sqsubset\      	put((char)220,FALSE,0);
   2.115 -<ISAA><<               	put((char)221,FALSE,0);
   2.116 -<ISAA>\\prec\          	put((char)222,FALSE,0);
   2.117 -<ISAA>\\preceq\        	put((char)223,FALSE,0);
   2.118 -<ISAA>\\succ\          	put((char)224,FALSE,0);
   2.119 -<ISAA>\\succeq\        	put((char)225,FALSE,0);
   2.120 -<ISAA>\\sim\           	put((char)226,FALSE,0);
   2.121 -<ISAA>\\simeq\         	put((char)227,FALSE,0);
   2.122 -<ISAA>\\le\            	put((char)228,FALSE,0);
   2.123 -<ISAA>\\ge\            	put((char)229,FALSE,0);
   2.124 -<ISAA><-               	put((char)230,FALSE,0);
   2.125 -<ISAA>-@@@@@           	put((char)231,FALSE,0);
   2.126 -<ISAA>->               	put((char)232,FALSE,0);
   2.127 -<ISAA>\\Leftarrow\     	put((char)233,FALSE,0);
   2.128 -<ISAA>=@@@@@           	put((char)234,FALSE,0);
   2.129 -<ISAA>=>               	put((char)235,FALSE,0);
   2.130 -<ISAA>->>              	put((char)236,FALSE,0);
   2.131 -<ISAA>\\mapsto\        	put((char)237,FALSE,0);
   2.132 -<ISAA>\\leadsto\       	put((char)238,FALSE,0);
   2.133 -<ISAA>\\uparrow\       	put((char)239,FALSE,0);
   2.134 -<ISAA>\\downarrow\     	put((char)240,FALSE,0);
   2.135 -<ISAA>~:               	put((char)241,FALSE,0);
   2.136 -<ISAA>\\times\         	put((char)242,FALSE,0);
   2.137 -<ISAA>\\oplus\         	put((char)243,FALSE,0);
   2.138 -<ISAA>\\ominus\        	put((char)244,FALSE,0);
   2.139 -<ISAA>\\otimes\        	put((char)245,FALSE,0);
   2.140 -<ISAA>\\oslash\        	put((char)246,FALSE,0);
   2.141 -<ISAA>\\natural\       	put((char)247,FALSE,0);
   2.142 -<ISAA>\\infty\         	put((char)248,FALSE,0);
   2.143 -<ISAA>\\Box\           	put((char)249,FALSE,0);
   2.144 -<ISAA>\\Diamond\       	put((char)250,FALSE,0);
   2.145 -<ISAA>\\circ\          	put((char)251,FALSE,0);
   2.146 -<ISAA>\\bullet\        	put((char)252,FALSE,0);
   2.147 -<ISAA>\|\|             	put((char)253,FALSE,0);
   2.148 -<ISAA>\\tick\          	put((char)254,FALSE,0);
   2.149 -<ISAA>\\filter\        	put((char)255,FALSE,0);
   2.150 +<ISAA>\ \             	put((char)160,FALSE,0);
   2.151 +<ISAA>\\Gamma         	put((char)161,FALSE,0);
   2.152 +<ISAA>\\Delta         	put((char)162,FALSE,0);
   2.153 +<ISAA>\\Theta         	put((char)163,FALSE,0);
   2.154 +<ISAA>LAM\            	put((char)164,FALSE,0);
   2.155 +<ISAA>\\Pi            	put((char)165,FALSE,0);
   2.156 +<ISAA>\\Sigma         	put((char)166,FALSE,0);
   2.157 +<ISAA>\\Phi           	put((char)167,FALSE,0);
   2.158 +<ISAA>\\Psi           	put((char)168,FALSE,0);
   2.159 +<ISAA>\\Omega         	put((char)169,FALSE,0);
   2.160 +<ISAA>'a              	put((char)170,FALSE,0);
   2.161 +<ISAA>'b              	put((char)171,FALSE,0);
   2.162 +<ISAA>'c              	put((char)172,FALSE,0);
   2.163 +<ISAA>\\delta         	put((char)173,FALSE,0);
   2.164 +<ISAA>\\varepsilon    	put((char)174,FALSE,0);
   2.165 +<ISAA>\\zeta          	put((char)175,FALSE,0);
   2.166 +<ISAA>\\eta           	put((char)176,FALSE,0);
   2.167 +<ISAA>\\vartheta      	put((char)177,FALSE,0);
   2.168 +<ISAA>\\kappa         	put((char)178,FALSE,0);
   2.169 +<ISAA>%\              	put((char)179,FALSE,0);
   2.170 +<ISAA>\\mu            	put((char)180,FALSE,0);
   2.171 +<ISAA>\\nu            	put((char)181,FALSE,0);
   2.172 +<ISAA>\\xi            	put((char)182,FALSE,0);
   2.173 +<ISAA>\\pi            	put((char)183,FALSE,0);
   2.174 +<ISAA>'r              	put((char)184,FALSE,0);
   2.175 +<ISAA>'s              	put((char)185,FALSE,0);
   2.176 +<ISAA>'t              	put((char)186,FALSE,0);
   2.177 +<ISAA>\\varphi        	put((char)187,FALSE,0);
   2.178 +<ISAA>\\chi           	put((char)188,FALSE,0);
   2.179 +<ISAA>\\psi           	put((char)189,FALSE,0);
   2.180 +<ISAA>\\omega         	put((char)190,FALSE,0);
   2.181 +<ISAA>~\              	put((char)191,FALSE,0);
   2.182 +<ISAA>&\              	put((char)192,FALSE,0);
   2.183 +<ISAA>\|\             	put((char)193,FALSE,0);
   2.184 +<ISAA>!\              	put((char)194,FALSE,0);
   2.185 +<ISAA>\?\             	put((char)195,FALSE,0);
   2.186 +<ISAA>!!              	put((char)196,FALSE,0);
   2.187 +<ISAA>\\lceil         	put((char)197,FALSE,0);
   2.188 +<ISAA>\\rceil         	put((char)198,FALSE,0);
   2.189 +<ISAA>\\lfloor        	put((char)199,FALSE,0);
   2.190 +<ISAA>\\rfloor        	put((char)200,FALSE,0);
   2.191 +<ISAA>\|-             	put((char)201,FALSE,0);
   2.192 +<ISAA>\|=             	put((char)202,FALSE,0);
   2.193 +<ISAA>\[\|            	put((char)203,FALSE,0);
   2.194 +<ISAA>\|\]            	put((char)204,FALSE,0);
   2.195 +<ISAA>\\cdot          	put((char)205,FALSE,0);
   2.196 +<ISAA>\ :\            	put((char)206,FALSE,0);
   2.197 +<ISAA>\ \subseteq\    	put((char)207,FALSE,0);
   2.198 +<ISAA>\ Int\          	put((char)208,FALSE,0);
   2.199 +<ISAA>\ Un\           	put((char)209,FALSE,0);
   2.200 +<ISAA>Inter\          	put((char)210,FALSE,0);
   2.201 +<ISAA>Union\          	put((char)211,FALSE,0);
   2.202 +<ISAA>\\sqcap         	put((char)212,FALSE,0);
   2.203 +<ISAA>\\sqcup         	put((char)213,FALSE,0);
   2.204 +<ISAA>glb\            	put((char)214,FALSE,0);
   2.205 +<ISAA>LUB\            	put((char)215,FALSE,0);
   2.206 +<ISAA>UU              	put((char)216,FALSE,0);
   2.207 +<ISAA>===             	put((char)217,FALSE,0);
   2.208 +<ISAA>==              	put((char)218,FALSE,0);
   2.209 +<ISAA>~=              	put((char)219,FALSE,0);
   2.210 +<ISAA>\\sqsubset      	put((char)220,FALSE,0);
   2.211 +<ISAA><<              	put((char)221,FALSE,0);
   2.212 +<ISAA><:              	put((char)222,FALSE,0);
   2.213 +<ISAA><=:             	put((char)223,FALSE,0);
   2.214 +<ISAA>:>              	put((char)224,FALSE,0);
   2.215 +<ISAA>~~              	put((char)225,FALSE,0);
   2.216 +<ISAA>\\sim\          	put((char)226,FALSE,0);
   2.217 +<ISAA>\\simeq         	put((char)227,FALSE,0);
   2.218 +<ISAA><=              	put((char)228,FALSE,0);
   2.219 +<ISAA>::              	put((char)229,FALSE,0);
   2.220 +<ISAA><-              	put((char)230,FALSE,0);
   2.221 +<ISAA>-@@@@@          	put((char)231,FALSE,0);
   2.222 +<ISAA>->              	put((char)232,FALSE,0);
   2.223 +<ISAA>\\Leftarrow     	put((char)233,FALSE,0);
   2.224 +<ISAA>=@@@@@          	put((char)234,FALSE,0);
   2.225 +<ISAA>=>              	put((char)235,FALSE,0);
   2.226 +<ISAA>\\frown         	put((char)236,FALSE,0);
   2.227 +<ISAA>\\mapsto        	put((char)237,FALSE,0);
   2.228 +<ISAA>\\leadsto       	put((char)238,FALSE,0);
   2.229 +<ISAA>\\uparrow       	put((char)239,FALSE,0);
   2.230 +<ISAA>\\downarrow     	put((char)240,FALSE,0);
   2.231 +<ISAA>~:              	put((char)241,FALSE,0);
   2.232 +<ISAA>\\times         	put((char)242,FALSE,0);
   2.233 +<ISAA>\\oplus         	put((char)243,FALSE,0);
   2.234 +<ISAA>\\ominus        	put((char)244,FALSE,0);
   2.235 +<ISAA>\\otimes        	put((char)245,FALSE,0);
   2.236 +<ISAA>\\oslash        	put((char)246,FALSE,0);
   2.237 +<ISAA>\\subset        	put((char)247,FALSE,0);
   2.238 +<ISAA>\\infty         	put((char)248,FALSE,0);
   2.239 +<ISAA>\\Box           	put((char)249,FALSE,0);
   2.240 +<ISAA>\\Diamond       	put((char)250,FALSE,0);
   2.241 +<ISAA>\\circ          	put((char)251,FALSE,0);
   2.242 +<ISAA>\\bullet        	put((char)252,FALSE,0);
   2.243 +<ISAA>\|\|            	put((char)253,FALSE,0);
   2.244 +<ISAA>\\tick          	put((char)254,FALSE,0);
   2.245 +<ISAA>\\filter        	put((char)255,FALSE,0);
   2.246    /* END_OF_HI_TABLE */
   2.247    /* This is the end of the generated part */
   2.248  
   2.249    /* The following is generated by the perl script gen-isa2latex. */
   2.250    /* Make modifications in configuration file for gen-isa2latex!  */             
   2.251    /* BEGIN_OF_SEQ_TABLE */
   2.252 -<ISA,ISAA>          	put((char)32,TRUE,0);
   2.253 -<ISAA>==>         	put((char)32,TRUE,0);
   2.254 -<ISA,ISAA>          	put((char)32,TRUE,1);
   2.255 -<ISAA>-->         	put((char)32,TRUE,1);
   2.256 -<ISA,ISAA>!          	put((char)32,TRUE,2);
   2.257 -<ISAA>\?!         	put((char)32,TRUE,2);
   2.258 -<ISA,ISAA>ALL@@@@@    	put((char)32,TRUE,3);
   2.259 -<ISAA>ALL\        	put((char)32,TRUE,3);
   2.260 -<ISA,ISAA>EX@@@@@     	put((char)32,TRUE,4);
   2.261 -<ISAA>EX\         	put((char)32,TRUE,4);
   2.262 -<ISA,ISAA><\|@@@@@    	put((char)32,TRUE,5);
   2.263 -<ISAA><\|         	put((char)32,TRUE,5);
   2.264 -<ISA,ISAA><<\|@@@@@   	put((char)32,TRUE,6);
   2.265 -<ISAA><<\|        	put((char)32,TRUE,6);
   2.266 -<ISA,ISAA>          	put((char)32,TRUE,7);
   2.267 -<ISAA><==         	put((char)32,TRUE,7);
   2.268 -<ISA,ISAA>          	put((char)32,TRUE,8);
   2.269 -<ISAA><=>         	put((char)32,TRUE,8);
   2.270 -<ISA,ISAA>          	put((char)32,TRUE,9);
   2.271 -<ISAA><--         	put((char)32,TRUE,9);
   2.272 -<ISA,ISAA>          	put((char)32,TRUE,10);
   2.273 -<ISAA><->         	put((char)32,TRUE,10);
   2.274 +<ISA,ISAA>             	put((char)32,TRUE,0);
   2.275 +<ISAA>==>                 	put((char)32,TRUE,0);
   2.276 +<ISA,ISAA>             	put((char)32,TRUE,1);
   2.277 +<ISAA>-->                 	put((char)32,TRUE,1);
   2.278 +<ISA,ISAA>!             	put((char)32,TRUE,2);
   2.279 +<ISAA>\?!                 	put((char)32,TRUE,2);
   2.280 +<ISA,ISAA>ALL@@@@@       	put((char)32,TRUE,3);
   2.281 +<ISAA>ALL\                	put((char)32,TRUE,3);
   2.282 +<ISA,ISAA>EX@@@@@        	put((char)32,TRUE,4);
   2.283 +<ISAA>EX\                 	put((char)32,TRUE,4);
   2.284 +<ISA,ISAA><<\|           	put((char)32,TRUE,5);
   2.285 +<ISAA><<\|                	put((char)32,TRUE,5);
   2.286 +<ISA,ISAA><\|            	put((char)32,TRUE,6);
   2.287 +<ISAA><\|                 	put((char)32,TRUE,6);
   2.288 +<ISA,ISAA>             	put((char)32,TRUE,7);
   2.289 +<ISAA><==                 	put((char)32,TRUE,7);
   2.290 +<ISA,ISAA>             	put((char)32,TRUE,8);
   2.291 +<ISAA><=>                 	put((char)32,TRUE,8);
   2.292 +<ISA,ISAA>             	put((char)32,TRUE,9);
   2.293 +<ISAA><--                 	put((char)32,TRUE,9);
   2.294 +<ISA,ISAA>             	put((char)32,TRUE,10);
   2.295 +<ISAA><->                 	put((char)32,TRUE,10);
   2.296 +<ISA,ISAA>\^-1           	put((char)32,TRUE,11);
   2.297 +<ISAA>\^-1                	put((char)32,TRUE,11);
   2.298 +<ISA,ISAA>arities        	put((char)32,TRUE,12);
   2.299 +<ISAA>@arities            	put((char)32,TRUE,12);
   2.300 +<ISA,ISAA>axclass        	put((char)32,TRUE,13);
   2.301 +<ISAA>@axclass            	put((char)32,TRUE,13);
   2.302 +<ISA,ISAA>constdefs      	put((char)32,TRUE,14);
   2.303 +<ISAA>@constdefs          	put((char)32,TRUE,14);
   2.304 +<ISA,ISAA>consts         	put((char)32,TRUE,15);
   2.305 +<ISAA>@consts             	put((char)32,TRUE,15);
   2.306 +<ISA,ISAA>datatype       	put((char)32,TRUE,16);
   2.307 +<ISAA>@datatype           	put((char)32,TRUE,16);
   2.308 +<ISA,ISAA>defs           	put((char)32,TRUE,17);
   2.309 +<ISAA>@defs               	put((char)32,TRUE,17);
   2.310 +<ISA,ISAA>domain         	put((char)32,TRUE,18);
   2.311 +<ISAA>@domain             	put((char)32,TRUE,18);
   2.312 +<ISA,ISAA>inductive      	put((char)32,TRUE,19);
   2.313 +<ISAA>@inductive          	put((char)32,TRUE,19);
   2.314 +<ISA,ISAA>instance       	put((char)32,TRUE,20);
   2.315 +<ISAA>@instance           	put((char)32,TRUE,20);
   2.316 +<ISA,ISAA>primrec        	put((char)32,TRUE,21);
   2.317 +<ISAA>@primrec            	put((char)32,TRUE,21);
   2.318 +<ISA,ISAA>recdef         	put((char)32,TRUE,22);
   2.319 +<ISAA>@recdef             	put((char)32,TRUE,22);
   2.320 +<ISA,ISAA>rules          	put((char)32,TRUE,23);
   2.321 +<ISAA>@rules              	put((char)32,TRUE,23);
   2.322 +<ISA,ISAA>translations   	put((char)32,TRUE,24);
   2.323 +<ISAA>@translations       	put((char)32,TRUE,24);
   2.324 +<ISA,ISAA>typedef        	put((char)32,TRUE,25);
   2.325 +<ISAA>@typedef            	put((char)32,TRUE,25);
   2.326 +<ISA,ISAA>types          	put((char)32,TRUE,26);
   2.327 +<ISAA>@types              	put((char)32,TRUE,26);
   2.328    /* END_OF_SEQ_TABLE */
   2.329    /* This is the end of the generated part */
   2.330  
   2.331 @@ -247,6 +284,8 @@
   2.332  void put(char c, int longDetect,int longCode)
   2.333  {
   2.334    int i;
   2.335 +  char s[100];
   2.336 +  extern char *translateHi(int ch, int code);
   2.337  
   2.338      if (YY_START == LATEX || YY_START == ESC)
   2.339          /* do not translate in these modes */ 
   2.340 @@ -260,7 +299,12 @@
   2.341         }
   2.342      else /* lexer has not scanned a long sequence */		      
   2.343      if (c & 0x80) { /* Hi-bit is set... */
   2.344 -       fprintf(foutput, "%s", translateHi(c, destCode));
   2.345 +       strcpy(s, translateHi(c, destCode));
   2.346 +       i = strlen(s);
   2.347 +       if((unsigned char)c != 0xa0 &&
   2.348 +	  i >= 2 && s[i-2] == '\\' && s[i-1] == ' ' && (yytext[0] & 0x80))
   2.349 +	 s[i-2] ='\0';
   2.350 +       fprintf(foutput, "%s", s);
   2.351          if (destCode == TO_LaTeX && ++cc % tabBlanks == 0)
   2.352            tabcount++;
   2.353      } 
     3.1 --- a/src/Tools/8bit/c-sources/isa2latex/conv-main.c	Wed Nov 05 15:42:30 1997 +0100
     3.2 +++ b/src/Tools/8bit/c-sources/isa2latex/conv-main.c	Wed Nov 05 15:45:51 1997 +0100
     3.3 @@ -45,7 +45,8 @@
     3.4  int use2e = FALSE;           /* generate latex2e output */
     3.5  int bigTabs = FALSE;         /* flag for big tabs */
     3.6  int tabBlanks = TABBLANKS;   /* number of blanks subsituted for a tab */
     3.7 -char isa_env_beg[200];       /* latex command to begin isa environment */
     3.8 +char isa_env_beg0[200],      /* latex command to begin isa environment */
     3.9 +     isa_env_beg1[200];
    3.10  char isa_env_end[200];       /* latex command to end   isa environment */
    3.11  int cc;                      /* character counter in line  */
    3.12  int tabcount;                /* counter for tab positions  */
    3.13 @@ -199,14 +200,17 @@
    3.14    if (convMode == STANDALONE) {
    3.15      if (use2e){
    3.16        fprintf(foutput, 
    3.17 -	 "\\documentclass[a4paper,11pt]{article}\n");
    3.18 +	 "\\documentclass[]{article}\n");
    3.19        fprintf(foutput, 
    3.20  	 "\\usepackage{latexsym,amssymb,isa2latex}\n");
    3.21      } else {
    3.22        fprintf(foutput, 
    3.23 -	 "\\documentstyle[11pt,a4,latexsym,amssymb,isa2latex]{article}\n");
    3.24 +	 "\\documentstyle[10pt,latexsym,amssymb,isa2latex]{article}\n");
    3.25      }
    3.26 -      fprintf(foutput, "\\begin{document}\n");
    3.27 +      fprintf(foutput, "\\topmargin-8ex\n"
    3.28 +	               "\\oddsidemargin0ex\n"
    3.29 +	               "\\textheight158ex\n"
    3.30 +	               "\\begin{document}\n");
    3.31    }
    3.32  
    3.33    if(texFont[0] != '\0') /* adjust font definition */
    3.34 @@ -214,18 +218,21 @@
    3.35  
    3.36    /*
    3.37     * prepare a tabbing environment with tabstops every 'tabBlanks' blanks:
    3.38 -   */
    3.39    strcpy(isa_env_beg, "{\\isamode\\begin{tabbing}");
    3.40    for (i = 0; i < NUM_TABS; i++) {
    3.41      for (j = 0; j < tabBlanks; j++)
    3.42        strcat(isa_env_beg, bigTabs ? BIG_TABBING_UNIT : NORMAL_TABBING_UNIT);
    3.43      strcat(isa_env_beg, "\\=");
    3.44    }
    3.45 -  strcat(isa_env_beg, "\\kill{}\\hspace{-1ex}\n");
    3.46 +  strcat(isa_env_beg, "\\kill{}\\hspace{-1.2ex}\n");
    3.47    strcpy(isa_env_end, "\n\\end{tabbing}}");
    3.48 +   */
    3.49 +  strcpy(isa_env_beg0, "{\\isabegin{}\\noindent ");
    3.50 +  strcpy(isa_env_beg1, "{\\isabegin{\\isamodify}\\noindent ");
    3.51 +  strcpy(isa_env_end , "\\isaend}\\noindent ");
    3.52    
    3.53 -  if (convMode == STANDALONE || convMode == INCLUDE)
    3.54 -    fprintf(foutput, isa_env_beg);
    3.55 +  if (convMode == STANDALONE || (convMode == INCLUDE) && (destCode != TO_7bit))
    3.56 +    fprintf(foutput, isa_env_beg0);
    3.57  
    3.58    /*
    3.59     * start the conversion: use lexer in all modes to do the job.
    3.60 @@ -238,7 +245,7 @@
    3.61     * output footers
    3.62     */
    3.63  
    3.64 -  if(convMode == STANDALONE || convMode == INCLUDE)
    3.65 +  if(convMode == STANDALONE || (convMode == INCLUDE) && (destCode != TO_7bit))
    3.66      fprintf(foutput, isa_env_end);
    3.67  
    3.68    if(convMode == STANDALONE) 
     4.1 --- a/src/Tools/8bit/c-sources/isa2latex/conv-tables.h	Wed Nov 05 15:42:30 1997 +0100
     4.2 +++ b/src/Tools/8bit/c-sources/isa2latex/conv-tables.h	Wed Nov 05 15:45:51 1997 +0100
     4.3 @@ -13,17 +13,17 @@
     4.4     "\\ ",
     4.5     "!",
     4.6     "\x22{}",
     4.7 -   "\\#",
     4.8 +   "\\mbox{$\\#$}",
     4.9     "\\$",
    4.10     "\\%",
    4.11 -   "\\mbox{$\\&$}",
    4.12 +   "\\&",
    4.13     "'",
    4.14 -   "(",
    4.15 -   ")",
    4.16 -   "\\mbox{$*$}",
    4.17 -   "\\mbox{$+$}",
    4.18 +   "\\mbox{$($}",
    4.19 +   "\\mbox{$)$}",
    4.20 +   "{*}",
    4.21 +   "+",
    4.22     ",",
    4.23 -   "\\mbox{$-$}",
    4.24 +   "-",
    4.25     ".",
    4.26     "/",
    4.27     "0",
    4.28 @@ -70,10 +70,10 @@
    4.29     "Y",
    4.30     "Z",
    4.31     "\\mbox{$[$}",
    4.32 -   "\\mbox{$\\backslash$}",
    4.33 +   "\\ttbackslash{}",
    4.34     "\\mbox{$]$}",
    4.35     "\\^{}",
    4.36 -   "\\_",
    4.37 +   "{\\_\\hspace{.344ex}}",
    4.38     "`",
    4.39     "a",
    4.40     "b",
    4.41 @@ -101,10 +101,10 @@
    4.42     "x",
    4.43     "y",
    4.44     "z",
    4.45 -   "\\{",
    4.46 -   "\\mbox{$|$}",
    4.47 -   "\\}",
    4.48 -   "\\~{}"
    4.49 +   "\\mbox{$\\{$}",
    4.50 +   "\\mbox{$\\mid$}",
    4.51 +   "\\mbox{$\\}$}",
    4.52 +   "\\tttilde{}"
    4.53  };
    4.54  /* END_OF_LOW_TABLE */
    4.55  
    4.56 @@ -123,10 +123,11 @@
    4.57  
    4.58  /* BEGIN_OF_HI_TABLE */
    4.59  char *translationTableHi[END_HI_TABLE - START_HI_TABLE + 1][2] = {
    4.60 +   {"  "           ,"\\ \\ "},
    4.61     {"\\Gamma"      ,"\\mbox{$\\Gamma$}"},
    4.62     {"\\Delta"      ,"\\mbox{$\\Delta$}"},
    4.63     {"\\Theta"      ,"\\mbox{$\\Theta$}"},
    4.64 -   {"LAM"          ,"\\mbox{$\\Lambda$}"},
    4.65 +   {"LAM "         ,"\\mbox{$\\Lambda$}"},
    4.66     {"\\Pi"         ,"\\mbox{$\\Pi$}"},
    4.67     {"\\Sigma"      ,"\\mbox{$\\Sigma$}"},
    4.68     {"\\Phi"        ,"\\mbox{$\\Phi$}"},
    4.69 @@ -136,7 +137,7 @@
    4.70     {"'b"           ,"\\mbox{$\\beta$}"},
    4.71     {"'c"           ,"\\mbox{$\\gamma$}"},
    4.72     {"\\delta"      ,"\\mbox{$\\delta$}"},
    4.73 -   {"\\varepsilon" ,"\\mbox{$\\varepsilon$}"},
    4.74 +   {"@"            ,"\\mbox{$\\varepsilon$}"},
    4.75     {"\\zeta"       ,"\\mbox{$\\zeta$}"},
    4.76     {"\\eta"        ,"\\mbox{$\\eta$}"},
    4.77     {"\\vartheta"   ,"\\mbox{$\\vartheta$}"},
    4.78 @@ -145,7 +146,7 @@
    4.79     {"\\mu"         ,"\\mbox{$\\mu$}"},
    4.80     {"\\nu"         ,"\\mbox{$\\nu$}"},
    4.81     {"\\xi"         ,"\\mbox{$\\xi$}"},
    4.82 -   {"\\pi"         ,"\\mbox{$\\pi$}"},
    4.83 +   {"\\p"          ,"\\mbox{$\\pi$}"},
    4.84     {"'r"           ,"\\mbox{$\\rho$}"},
    4.85     {"'s"           ,"\\mbox{$\\sigma$}"},
    4.86     {"'t"           ,"\\mbox{$\\tau$}"},
    4.87 @@ -153,67 +154,67 @@
    4.88     {"\\chi"        ,"\\mbox{$\\chi$}"},
    4.89     {"\\psi"        ,"\\mbox{$\\psi$}"},
    4.90     {"\\omega"      ,"\\mbox{$\\omega$}"},
    4.91 -   {"~"            ,"\\mbox{$\\neg$}"},
    4.92 -   {"&"            ,"\\mbox{$\\wedge$}"},
    4.93 -   {"|"            ,"\\mbox{$\\vee$}"},
    4.94 -   {"!"            ,"\\mbox{$\\forall$}"},
    4.95 -   {"?"            ,"\\mbox{$\\exists$}"},
    4.96 +   {"~ "           ,"\\mbox{$\\neg$}"},
    4.97 +   {"& "           ,"\\mbox{$\\hspace{-.185ex}\\wedge\\hspace{-.185ex}$}\\ "},
    4.98 +   {"| "           ,"\\mbox{$\\hspace{-.185ex}\\vee\\hspace{-.185ex}$}\\ "},
    4.99 +   {"!"            ,"\\mbox{$\\hspace{-.07ex}\\forall$}"},
   4.100 +   {"? "           ,"\\mbox{$\\hspace{-.07ex}\\exists$}"},
   4.101     {"!!"           ,"\\mbox{$\\bigwedge$}"},
   4.102     {"\\lceil"      ,"\\mbox{$\\lceil$}"},
   4.103     {"\\rceil"      ,"\\mbox{$\\rceil$}"},
   4.104     {"\\lfloor"     ,"\\mbox{$\\lfloor$}"},
   4.105     {"\\rfloor"     ,"\\mbox{$\\rfloor$}"},
   4.106 -   {"(|"           ,"\\mbox{$(\\!|$}"},
   4.107 -   {"|)"           ,"\\mbox{$|\\!)$}"},
   4.108 -   {"[|"           ,"\\mbox{$[\\![$}"},
   4.109 -   {"|]"           ,"\\mbox{$]\\!]$}"},
   4.110 -   {"\\emptyset"   ,"\\mbox{$\\emptyset$}"},
   4.111 -   {":"            ,"\\mbox{$\\in$}"},
   4.112 -   {"\\subseteq"   ,"\\mbox{$\\subseteq$}"},
   4.113 -   {"Int"          ,"\\mbox{$\\cap$}"},
   4.114 -   {"Un"           ,"\\mbox{$\\cup$}"},
   4.115 -   {"Inter"        ,"\\mbox{$\\bigcap$}"},
   4.116 -   {"Union"        ,"\\mbox{$\\bigcup$}"},
   4.117 -   {"\\sqcap"      ,"\\mbox{$\\sqcap$}"},
   4.118 -   {"\\sqcup"      ,"\\mbox{$\\sqcup$}"},
   4.119 -   {"glb"          ,"\\mbox{$\\overline{|\\,\\,|}$}"},
   4.120 -   {"lub"          ,"\\mbox{$\\bigsqcup$}"},
   4.121 -   {"UU"           ,"\\mbox{$\\perp$}"},
   4.122 -   {"==="          ,"\\mbox{$\\doteq$}"},
   4.123 -   {"=="           ,"\\mbox{$\\equiv$}"},
   4.124 +   {"|-"           ,"\\mbox{$\\hspace{.49ex}\\vdash\\hspace{.49ex}$}"},
   4.125 +   {"|="           ,"\\mbox{$\\models$}"},
   4.126 +   {"[|"           ,"\\mbox{$[\\![\\hspace{.32ex}$}"},
   4.127 +   {"|]"           ,"\\mbox{$\\hspace{.32ex}]\\!]$}"},
   4.128 +   {"\\cdot"       ,"\\mbox{$\\hspace{.28ex}\\cdot\\hspace{.28ex}$}"},
   4.129 +   {":"            ,"\\hspace{.1ex}\\mbox{$\\in$}\\hspace{.1ex}"},
   4.130 +   {" \\subseteq " ,"\\mbox{$\\subseteq$}"},
   4.131 +   {" Int "        ,"\\mbox{$\\cap$}"},
   4.132 +   {" Un "         ,"\\mbox{$\\cup$}"},
   4.133 +   {"Inter "       ,"\\mbox{$\\bigcap$}"},
   4.134 +   {"Union "       ,"\\mbox{$\\bigcup$}"},
   4.135 +   {"\\sqcap"      ,"\\mbox{$\\hspace{.29ex}\\sqcap\\hspace{.29ex}$}"},
   4.136 +   {"\\sqcup"      ,"\\mbox{$\\hspace{.29ex}\\sqcup\\hspace{.29ex}$}"},
   4.137 +   {"glb "         ,"\\mbox{$\\overline{|\\,\\,|}$}"},
   4.138 +   {"LUB "         ,"\\mbox{$\\bigsqcup$}"},
   4.139 +   {"UU"           ,"\\mbox{$\\bot$}"},
   4.140 +   {".="           ,"\\mbox{$\\doteq$}"},
   4.141 +   {"=="           ,"\\mbox{$\\hspace{.29ex}\\equiv\\hspace{.29ex}$}"},
   4.142     {"~="           ,"\\mbox{$\\not=$}"},
   4.143 -   {"\\sqsubset"   ,"\\mbox{$\\sqsubset$}"},
   4.144 -   {"<<"           ,"\\mbox{$\\sqsubseteq$}"},
   4.145 -   {"\\prec"       ,"\\mbox{$\\prec$}"},
   4.146 -   {"\\preceq"     ,"\\mbox{$\\preceq$}"},
   4.147 -   {"\\succ"       ,"\\mbox{$\\succ$}"},
   4.148 -   {"\\succeq"     ,"\\mbox{$\\succeq$}"},
   4.149 -   {"\\sim"        ,"\\mbox{$\\sim$}"},
   4.150 -   {"\\simeq"      ,"\\mbox{$\\simeq$}"},
   4.151 -   {"\\le"         ,"\\mbox{$\\le$}"},
   4.152 -   {"\\ge"         ,"\\mbox{$\\ge$}"},
   4.153 +   {"\\sqsubset"   ,"\\mbox{$\\hspace{.29ex}\\sqsubset\\hspace{.29ex}$}"},
   4.154 +   {"<<"           ,"\\mbox{$\\hspace{.29ex}\\sqsubseteq\\hspace{.29ex}$}"},
   4.155 +   {"<:"           ,"\\mbox{$\\hspace{.29ex}\\prec\\hspace{.29ex}$}\\ "},
   4.156 +   {"<=:"          ,"\\mbox{$\\hspace{.29ex}\\preceq\\hspace{.29ex}$}"},
   4.157 +   {":>"           ,"\\mbox{$\\hspace{.29ex}\\succ\\hspace{.29ex}$}\\ "},
   4.158 +   {"~~"           ,"\\mbox{$\\hspace{.29ex}\\approx\\hspace{.29ex}$}"},
   4.159 +   {"\\sim "       ,"\\mbox{$\\hspace{.29ex}\\sim\\hspace{.29ex}$}\\ "},
   4.160 +   {"\\simeq"      ,"\\mbox{$\\hspace{.29ex}\\simeq\\hspace{.29ex}$}"},
   4.161 +   {"<="           ,"\\mbox{$\\hspace{.29ex}\\le\\hspace{.29ex}$}"},
   4.162 +   {"::"           ,"\\mbox{$\\hspace{-.1ex}:\\hspace{-.07ex}:\\hspace{.1ex}$}"},
   4.163     {"<-"           ,"\\mbox{$\\leftarrow$}"},
   4.164     {"-"            ,"\\mbox{$-$}"},
   4.165     {"->"           ,"\\mbox{$\\rightarrow$}"},
   4.166     {"<="           ,"\\mbox{$\\Leftarrow$}"},
   4.167     {"="            ,"\\mbox{$=$}"},
   4.168 -   {"=>"           ,"\\mbox{$\\Rightarrow$}"},
   4.169 -   {"->>"          ,"\\mbox{$\\twoheadrightarrow$}"},
   4.170 -   {"\\mapsto"     ,"\\mbox{$\\mapsto$}"},
   4.171 -   {"\\leadsto"    ,"\\mbox{$\\leadsto$}"},
   4.172 +   {"=>"           ,"\\mbox{$\\hspace{.12ex}\\Rightarrow$}"},
   4.173 +   {"\\frown"      ,"\\mbox{$\\frown$}"},
   4.174 +   {"|->"          ,"\\mbox{$\\mapsto$}"},
   4.175 +   {"~>"           ,"\\mbox{$\\hspace{.05ex}\\leadsto$}"},
   4.176     {"\\uparrow"    ,"\\mbox{$\\uparrow$}"},
   4.177     {"\\downarrow"  ,"\\mbox{$\\downarrow$}"},
   4.178     {"~:"           ,"\\mbox{$\\notin$}"},
   4.179 -   {"*"            ,"\\mbox{$\\times$}"},
   4.180 -   {"++"           ,"\\mbox{$\\oplus$}"},
   4.181 -   {"\\ominus"     ,"\\mbox{$\\ominus$}"},
   4.182 -   {"**"           ,"\\mbox{$\\otimes$}"},
   4.183 -   {"\\oslash"     ,"\\mbox{$\\oslash$}"},
   4.184 -   {"\\natural"    ,"\\mbox{$\\natural$}"},
   4.185 +   {"*"            ,"\\mbox{$\\hspace{-.29ex}\\times\\hspace{-.29ex}$}"},
   4.186 +   {"++"           ,"\\mbox{$\\hspace{.29ex}\\oplus\\hspace{.29ex}$}"},
   4.187 +   {"--"           ,"\\mbox{$\\hspace{.29ex}\\ominus\\hspace{.29ex}$}"},
   4.188 +   {"**"           ,"\\mbox{$\\hspace{.29ex}\\otimes\\hspace{.29ex}$}"},
   4.189 +   {"//"           ,"\\mbox{$\\hspace{.29ex}\\oslash\\hspace{.29ex}$}"},
   4.190 +   {"\\subset"     ,"\\mbox{$\\subset$}"},
   4.191     {"\\infty"      ,"\\mbox{$\\infty$}"},
   4.192     {"\\Box"        ,"\\mbox{$\\Box$}"},
   4.193 -   {"\\Diamond"    ,"\\mbox{$\\Diamond$}"},
   4.194 -   {"\\circ"       ,"\\mbox{$\\circ$}"},
   4.195 +   {"<>"           ,"\\mbox{$\\hspace{.29ex}\\Diamond\\hspace{.29ex}$}"},
   4.196 +   {" o "          ,"\\mbox{$\\circ$}"},
   4.197     {"\\bullet"     ,"\\mbox{$\\bullet$}"},
   4.198     {"||"           ,"\\mbox{$\\parallel$}"},
   4.199     {"\\tick"       ,"\\mbox{$\\surd$}"},
   4.200 @@ -236,17 +237,33 @@
   4.201  
   4.202  /* BEGIN_OF_SEQ_TABLE */
   4.203  char *translationTableSeq[SEQ_TABLE][2] = {
   4.204 -   {"==>"                        ,"\\mbox{$\\Longrightarrow$}"},
   4.205 -   {"-->"                        ,"\\mbox{$\\longrightarrow$}"},
   4.206 -   {"?!"                         ,"\\mbox{$\\exists$}!"},
   4.207 -   {"ALL"                        ,"\\mbox{$\\forall$}"},
   4.208 -   {"EX"                         ,"\\mbox{$\\exists$}"},
   4.209 -   {"<|"                         ,"\\mbox{$<\\!\\mid$}"},
   4.210 -   {"<<|"                        ,"\\mbox{$\\ll\\!\\mid$}"},
   4.211 -   {"<=="                        ,"\\mbox{$\\Longleftarrow$}"},
   4.212 -   {"<=>"                        ,"\\mbox{$\\Leftrightarrow$}"},
   4.213 -   {"<--"                        ,"\\mbox{$\\longleftarrow$}"},
   4.214 -   {"<->"                        ,"\\mbox{$\\leftrightarrow$}"}
   4.215 +   {"==>"                                         ,"\\mbox{$\\hspace{-.083ex}\\Longrightarrow$}"},
   4.216 +   {"-->"                                         ,"\\mbox{$\\longrightarrow$}"},
   4.217 +   {"?!"                                          ,"\\mbox{$\\exists_1$}"},
   4.218 +   {"ALL "                                        ,"\\mbox{$\\forall$}"},
   4.219 +   {"EX "                                         ,"\\mbox{$\\exists$}"},
   4.220 +   {"<<|"                                         ,"\\mbox{$\\ll\\!\\mid$}"},
   4.221 +   {"<|"                                          ,"\\mbox{$<\\!\\mid$}"},
   4.222 +   {"<=="                                         ,"\\mbox{$\\Longleftarrow$}"},
   4.223 +   {"<=>"                                         ,"\\mbox{$\\Leftrightarrow$}"},
   4.224 +   {"<--"                                         ,"\\mbox{$\\longleftarrow$}"},
   4.225 +   {"<->"                                         ,"\\mbox{$\\leftrightarrow$}"},
   4.226 +   {"^-1"                                         ,"\\mbox{$^{\\tt -1}$}"},
   4.227 +   {"arities"                                     ,"\\mbox{\\bf arities}"},
   4.228 +   {"axclass"                                     ,"\\mbox{\\bf axclass}"},
   4.229 +   {"constdefs"                                   ,"\\mbox{\\bf constdefs}"},
   4.230 +   {"consts"                                      ,"\\mbox{\\bf consts}"},
   4.231 +   {"datatype"                                    ,"\\mbox{\\bf datatype}"},
   4.232 +   {"defs"                                        ,"\\mbox{\\bf defs}"},
   4.233 +   {"domain"                                      ,"\\mbox{\\bf domain}"},
   4.234 +   {"inductive"                                   ,"\\mbox{\\bf inductive}"},
   4.235 +   {"instance"                                    ,"\\mbox{\\bf instance}"},
   4.236 +   {"primrec"                                     ,"\\mbox{\\bf primrec}"},
   4.237 +   {"recdef"                                      ,"\\mbox{\\bf recdef}"},
   4.238 +   {"rules"                                       ,"\\mbox{\\bf rules}"},
   4.239 +   {"translations"                                ,"\\mbox{\\bf translations}"},
   4.240 +   {"typedef"                                     ,"\\mbox{\\bf typedef}"},
   4.241 +   {"types"                                       ,"\\mbox{\\bf types}"}
   4.242  };
   4.243  /* END_OF_SEQ_TABLE */
   4.244  
     5.1 Binary file src/Tools/8bit/c-sources/isa2latex/isa2latex has changed