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;
     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