doc-src/System/showsymbols
author wenzelm
Sat Nov 15 21:31:13 2008 +0100 (2008-11-15)
changeset 28797 9dcd32ee5dbe
parent 12361 b7ca18198669
permissions -rwxr-xr-x
rewrite_proof: simplified simprocs (no name required);
wenzelm@10632
     1
#!/usr/bin/env perl
wenzelm@10633
     2
#
wenzelm@10633
     3
# $Id$
wenzelm@10632
     4
wenzelm@10632
     5
print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
wenzelm@10632
     6
wenzelm@10632
     7
$eol = "&";
wenzelm@10632
     8
wenzelm@10632
     9
while (<ARGV>) {
wenzelm@10632
    10
    if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
wenzelm@10974
    11
       print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
wenzelm@11573
    12
#       print "\\verb,\\<$1>, & \\isactrlbold{\\isasym$1}~{\\isasym$1} $eol\n";
wenzelm@10632
    13
#       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
wenzelm@10632
    14
#       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
wenzelm@10632
    15
        if ("$eol" eq "&") {
wenzelm@10632
    16
            $eol = "\\\\";
wenzelm@10632
    17
        } else {
wenzelm@10632
    18
            $eol = "&";
wenzelm@10632
    19
        }
wenzelm@10632
    20
    }
wenzelm@10632
    21
}
wenzelm@10632
    22
wenzelm@12361
    23
if ("$eol" eq "\\\\") {
wenzelm@12361
    24
    print "$eol\n";
wenzelm@12361
    25
}
wenzelm@12361
    26
wenzelm@10632
    27
print "\\end{supertabular}\n";
wenzelm@12361
    28