doc-src/IsarRef/showsymbols
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 12 Aug 2010 15:03:34 +0200
branchisac-from-Isabelle2009-2
changeset 37913 20e3616b2d9c
parent 32088 2110fcd86efb
permissions -rwxr-xr-x
prepare reactivation of isac-update-Isa09-2
wenzelm@28838
     1
#!/usr/bin/env perl
wenzelm@28838
     2
wenzelm@28838
     3
print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
wenzelm@28838
     4
wenzelm@28838
     5
$eol = "&";
wenzelm@28838
     6
wenzelm@28838
     7
while (<ARGV>) {
wenzelm@28838
     8
    if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
wenzelm@28838
     9
       print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
wenzelm@28838
    10
#       print "\\verb,\\<$1>, & \\isactrlbold{\\isasym$1}~{\\isasym$1} $eol\n";
wenzelm@28838
    11
#       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
wenzelm@28838
    12
#       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
wenzelm@28838
    13
        if ("$eol" eq "&") {
wenzelm@28838
    14
            $eol = "\\\\";
wenzelm@28838
    15
        } else {
wenzelm@28838
    16
            $eol = "&";
wenzelm@28838
    17
        }
wenzelm@28838
    18
    }
wenzelm@28838
    19
}
wenzelm@28838
    20
wenzelm@28838
    21
if ("$eol" eq "\\\\") {
wenzelm@28838
    22
    print "$eol\n";
wenzelm@28838
    23
}
wenzelm@28838
    24
wenzelm@28838
    25
print "\\end{supertabular}\n";
wenzelm@28838
    26