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