generate table of isabelle symbols;
authorwenzelm
Thu, 07 Dec 2000 22:24:40 +0100
changeset 10632 e887eca23edb
parent 10631 591ea23d27a0
child 10633 85c5645a8a93
generate table of isabelle symbols;
doc-src/System/showsymbols
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/System/showsymbols	Thu Dec 07 22:24:40 2000 +0100
@@ -0,0 +1,20 @@
+#!/usr/bin/env perl
+
+print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
+
+$eol = "&";
+
+while (<ARGV>) {
+    if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
+        print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
+#       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
+#       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
+        if ("$eol" eq "&") {
+            $eol = "\\\\";
+        } else {
+            $eol = "&";
+        }
+    }
+}
+
+print "\\end{supertabular}\n";