doc-src/System/showsymbols
author wenzelm
Wed, 24 Jan 2001 20:56:12 +0100
changeset 10974 f23a58cf12a4
parent 10633 85c5645a8a93
child 11573 4f85af77038f
permissions -rwxr-xr-x
more symbols;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10632
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env perl
10633
wenzelm
parents: 10632
diff changeset
     2
#
wenzelm
parents: 10632
diff changeset
     3
# $Id$
10632
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
     4
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
     5
print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
     6
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
     7
$eol = "&";
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
     8
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
     9
while (<ARGV>) {
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    10
    if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
10974
f23a58cf12a4 more symbols;
wenzelm
parents: 10633
diff changeset
    11
       print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
10632
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    12
#       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    13
#       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    14
        if ("$eol" eq "&") {
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    15
            $eol = "\\\\";
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    16
        } else {
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    17
            $eol = "&";
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    18
        }
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    19
    }
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    20
}
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    21
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    22
print "\\end{supertabular}\n";