src/Doc/IsarRef/document/showsymbols
changeset 56420 b266e7a86485
parent 56419 f47de9e82b0f
child 56431 4eb88149c7b2
equal deleted inserted replaced
56419:f47de9e82b0f 56420:b266e7a86485
     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