doc-src/IsarRef/showsymbols
author wenzelm
Tue, 18 Nov 2008 18:25:10 +0100
changeset 28838 d5db6dfcb34a
child 32088 2110fcd86efb
permissions -rwxr-xr-x
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm@28838
     1
#!/usr/bin/env perl
wenzelm@28838
     2
#
wenzelm@28838
     3
# $Id$
wenzelm@28838
     4
wenzelm@28838
     5
print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
wenzelm@28838
     6
wenzelm@28838
     7
$eol = "&";
wenzelm@28838
     8
wenzelm@28838
     9
while (<ARGV>) {
wenzelm@28838
    10
    if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
wenzelm@28838
    11
       print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
wenzelm@28838
    12
#       print "\\verb,\\<$1>, & \\isactrlbold{\\isasym$1}~{\\isasym$1} $eol\n";
wenzelm@28838
    13
#       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
wenzelm@28838
    14
#       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
wenzelm@28838
    15
        if ("$eol" eq "&") {
wenzelm@28838
    16
            $eol = "\\\\";
wenzelm@28838
    17
        } else {
wenzelm@28838
    18
            $eol = "&";
wenzelm@28838
    19
        }
wenzelm@28838
    20
    }
wenzelm@28838
    21
}
wenzelm@28838
    22
wenzelm@28838
    23
if ("$eol" eq "\\\\") {
wenzelm@28838
    24
    print "$eol\n";
wenzelm@28838
    25
}
wenzelm@28838
    26
wenzelm@28838
    27
print "\\end{supertabular}\n";
wenzelm@28838
    28