# HG changeset patch # User oheimb # Date 908804308 -7200 # Node ID 000879172ee4a232cbe6f1d589d2fe894b715216 # Parent dfbe923fb881585ba3c2e50a6fadb5ac245148eb added keyword 'and' diff -r dfbe923fb881 -r 000879172ee4 src/Tools/8bit/c-sources/isa2latex/conv-defs.h --- a/src/Tools/8bit/c-sources/isa2latex/conv-defs.h Mon Oct 19 15:37:02 1998 +0200 +++ b/src/Tools/8bit/c-sources/isa2latex/conv-defs.h Mon Oct 19 15:38:28 1998 +0200 @@ -56,6 +56,6 @@ #define END_LOW_TABLE 126 #define START_HI_TABLE 160 #define END_HI_TABLE 255 -#define SEQ_TABLE 28 +#define SEQ_TABLE 29 /* END gen-isa2latex */ diff -r dfbe923fb881 -r 000879172ee4 src/Tools/8bit/c-sources/isa2latex/conv-lex.x --- a/src/Tools/8bit/c-sources/isa2latex/conv-lex.x Mon Oct 19 15:37:02 1998 +0200 +++ b/src/Tools/8bit/c-sources/isa2latex/conv-lex.x Mon Oct 19 15:38:28 1998 +0200 @@ -224,40 +224,42 @@ <-- 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); +^and put((char)32,TRUE,11); +^@and 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); +^end put((char)32,TRUE,19); +^@end put((char)32,TRUE,19); +^inductive put((char)32,TRUE,20); +^@inductive put((char)32,TRUE,20); +^instance put((char)32,TRUE,21); +^@instance put((char)32,TRUE,21); +^primrec put((char)32,TRUE,22); +^@primrec put((char)32,TRUE,22); +^recdef put((char)32,TRUE,23); +^@recdef put((char)32,TRUE,23); +^rules put((char)32,TRUE,24); +^@rules put((char)32,TRUE,24); +^syntax put((char)32,TRUE,25); +^@syntax put((char)32,TRUE,25); +^translations put((char)32,TRUE,26); +^@translations put((char)32,TRUE,26); +^typedef put((char)32,TRUE,27); +^@typedef put((char)32,TRUE,27); +^types put((char)32,TRUE,28); +^@types put((char)32,TRUE,28); /* END_OF_SEQ_TABLE */ /* This is the end of the generated part */ diff -r dfbe923fb881 -r 000879172ee4 src/Tools/8bit/c-sources/isa2latex/conv-tables.h --- a/src/Tools/8bit/c-sources/isa2latex/conv-tables.h Mon Oct 19 15:37:02 1998 +0200 +++ b/src/Tools/8bit/c-sources/isa2latex/conv-tables.h Mon Oct 19 15:38:28 1998 +0200 @@ -248,6 +248,7 @@ {"<=>" ,"\\mbox{$\\Leftrightarrow$}"}, {"<--" ,"\\mbox{$\\longleftarrow$}"}, {"<->" ,"\\mbox{$\\leftrightarrow$}"}, + {"and" ,"\\mbox{\\bf and}"}, {"arities" ,"\\mbox{\\bf arities}"}, {"axclass" ,"\\mbox{\\bf axclass}"}, {"constdefs" ,"\\mbox{\\bf constdefs}"}, diff -r dfbe923fb881 -r 000879172ee4 src/Tools/8bit/config/conv-tables.inp --- a/src/Tools/8bit/config/conv-tables.inp Mon Oct 19 15:37:02 1998 +0200 +++ b/src/Tools/8bit/config/conv-tables.inp Mon Oct 19 15:38:28 1998 +0200 @@ -409,6 +409,7 @@ #> "\^-1" "@\^-1" "^-1" "\mbox{$^{\tt -1}$}" #Isabelle +> "^and" "^@and" "and" "\mbox{\bf and}" > "^arities" "^@arities" "arities" "\mbox{\bf arities}" > "^axclass" "^@axclass" "axclass" "\mbox{\bf axclass}" > "^constdefs" "^@constdefs" "constdefs" "\mbox{\bf constdefs}"