--- a/src/Tools/8bit/c-sources/isa2latex/conv-tables.h Fri Dec 11 17:15:20 1998 +0100
+++ b/src/Tools/8bit/c-sources/isa2latex/conv-tables.h Fri Dec 11 17:16:23 1998 +0100
@@ -129,7 +129,7 @@
{"\\Theta" ,"\\mbox{$\\Theta$}"},
{"LAM " ,"\\mbox{$\\Lambda$}"},
{"\\Pi" ,"\\mbox{$\\Pi$}"},
- {"\\Sigma" ,"\\mbox{$\\Sigma$}"},
+ {"SIGMA" ,"\\mbox{$\\Sigma$}"},
{"\\Phi" ,"\\mbox{$\\Phi$}"},
{"\\Psi" ,"\\mbox{$\\Psi$}"},
{"\\Omega" ,"\\mbox{$\\Omega$}"},
--- a/src/Tools/8bit/config/conv-tables.inp Fri Dec 11 17:15:20 1998 +0100
+++ b/src/Tools/8bit/config/conv-tables.inp Fri Dec 11 17:16:23 1998 +0100
@@ -27,7 +27,7 @@
# Must be delimited by "
#
-CONV_SOURCE_DIR "../c-sources/isa2latex"
+CONV_SOURCE_DIR "/usr/wiss/oheimb/isabelle/src/Tools/8bit/c-sources/isa2latex"
# End of general setup
############################################################
@@ -241,7 +241,7 @@
> "\\Theta" "\Theta" "\mbox{$\Theta$}"
> "LAM\ " "LAM " "\mbox{$\Lambda$}"
> "\\Pi" "\Pi" "\mbox{$\Pi$}"
-> "\\Sigma" "\Sigma" "\mbox{$\Sigma$}"
+> "\\Sigma" "SIGMA" "\mbox{$\Sigma$}"
> "\\Phi" "\Phi" "\mbox{$\Phi$}"
> "\\Psi" "\Psi" "\mbox{$\Psi$}"
> "\\Omega" "\Omega" "\mbox{$\Omega$}"