# HG changeset patch
# User oheimb
# Date 913392983 -3600
# Node ID 649b98cf9bc3f7a1658232a0303f276188fe4f9e
# Parent  f0e244e2123cb07548e037fd4b880c97a4cab18a
better representation of Sigma

diff -r f0e244e2123c -r 649b98cf9bc3 src/Tools/8bit/c-sources/isa2latex/conv-tables.h
--- 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$}"},
diff -r f0e244e2123c -r 649b98cf9bc3 src/Tools/8bit/config/conv-tables.inp
--- 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$}"