author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 12 Aug 2010 15:03:34 +0200 | |
branch | isac-from-Isabelle2009-2 |
changeset 37913 | 20e3616b2d9c |
parent 32088 | 2110fcd86efb |
permissions | -rwxr-xr-x |
1 #!/usr/bin/env perl
3 print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
5 $eol = "&";
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 }
21 if ("$eol" eq "\\\\") {
22 print "$eol\n";
23 }
25 print "\\end{supertabular}\n";