doc-src/System/showsymbols
author nipkow
Wed, 13 Dec 2000 09:39:53 +0100
changeset 10654 458068404143
parent 10633 85c5645a8a93
child 10974 f23a58cf12a4
permissions -rwxr-xr-x
*** empty log message ***
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]+)\}/) {
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    11
        print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
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";