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