doc-src/System/showsymbols
author wenzelm
Thu, 06 May 2004 14:14:18 +0200
changeset 14706 71590b7733b7
parent 12361 b7ca18198669
permissions -rwxr-xr-x
tuned document;
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";
11573
4f85af77038f bold symbols;
wenzelm
parents: 10974
diff changeset
    12
#       print "\\verb,\\<$1>, & \\isactrlbold{\\isasym$1}~{\\isasym$1} $eol\n";
10632
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    13
#       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    14
#       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    15
        if ("$eol" eq "&") {
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    16
            $eol = "\\\\";
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    17
        } else {
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    18
            $eol = "&";
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
12361
b7ca18198669 made slightly more robust;
wenzelm
parents: 11573
diff changeset
    23
if ("$eol" eq "\\\\") {
b7ca18198669 made slightly more robust;
wenzelm
parents: 11573
diff changeset
    24
    print "$eol\n";
b7ca18198669 made slightly more robust;
wenzelm
parents: 11573
diff changeset
    25
}
b7ca18198669 made slightly more robust;
wenzelm
parents: 11573
diff changeset
    26
10632
e887eca23edb generate table of isabelle symbols;
wenzelm
parents:
diff changeset
    27
print "\\end{supertabular}\n";
12361
b7ca18198669 made slightly more robust;
wenzelm
parents: 11573
diff changeset
    28