doc-src/IsarRef/showsymbols
author wenzelm
Thu, 12 Mar 2009 21:55:02 +0100
changeset 30487 a14ff49d3083
parent 28838 d5db6dfcb34a
child 32088 2110fcd86efb
permissions -rwxr-xr-x
simplified preparation and outer parsing of specification; export extern cmd interfaces as well;

#!/usr/bin/env perl
#
# $Id$

print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";

$eol = "&";

while (<ARGV>) {
    if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
       print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
#       print "\\verb,\\<$1>, & \\isactrlbold{\\isasym$1}~{\\isasym$1} $eol\n";
#       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
#       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
        if ("$eol" eq "&") {
            $eol = "\\\\";
        } else {
            $eol = "&";
        }
    }
}

if ("$eol" eq "\\\\") {
    print "$eol\n";
}

print "\\end{supertabular}\n";