Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/c-sources/isa2latex/conv-defs.h
changeset 4170 6b8bbcc9f05f
parent 1826 2a2c0dbeb4ac
child 4773 b6729feb8a5d 
--- a/src/Tools/8bit/c-sources/isa2latex/conv-defs.h	Wed Nov 05 15:42:30 1997 +0100
+++ b/src/Tools/8bit/c-sources/isa2latex/conv-defs.h	Wed Nov 05 15:45:51 1997 +0100
@@ -54,8 +54,8 @@
 /* BEGIN gen-isa2latex */
 #define START_LOW_TABLE 32
 #define END_LOW_TABLE   126
-#define START_HI_TABLE  161
+#define START_HI_TABLE  160
 #define END_HI_TABLE    255
-#define SEQ_TABLE       11
+#define SEQ_TABLE       27
 /* END gen-isa2latex */
isabelle