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);
     1 #!/usr/bin/env perl
     2 #
     3 # $Id$
     4 
     5 print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
     6 
     7 $eol = "&";
     8 
     9 while (<ARGV>) {
    10     if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
    11        print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
    12 #       print "\\verb,\\<$1>, & \\isactrlbold{\\isasym$1}~{\\isasym$1} $eol\n";
    13 #       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
    14 #       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
    15         if ("$eol" eq "&") {
    16             $eol = "\\\\";
    17         } else {
    18             $eol = "&";
    19         }
    20     }
    21 }
    22 
    23 if ("$eol" eq "\\\\") {
    24     print "$eol\n";
    25 }
    26 
    27 print "\\end{supertabular}\n";
    28