# HG changeset patch
# User wenzelm
# Date 976224280 -3600
# Node ID e887eca23edbe51a1385df2b054631d01f0d4709
# Parent  591ea23d27a03fe68758adb726fc635ddc03ad78
generate table of isabelle symbols;

diff -r 591ea23d27a0 -r e887eca23edb 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";