author  wenzelm 
Wed, 15 Apr 2009 11:14:48 +0200  
changeset 30895  bad26d8f0adf 
parent 28838  d5db6dfcb34a 
child 32088  2110fcd86efb 
permissions  rwxrxrx 
28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

1 
#!/usr/bin/env perl 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

2 
# 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

3 
# $Id$ 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

4 

d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

5 
print "\\begin{supertabular}{ll\@{\\qquad}ll}\n"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

6 

d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

7 
$eol = "&"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

8 

d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

9 
while (<ARGV>) { 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

10 
if (m/^\\newcommand\{\\isasym([AZaz]+)\}/) { 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

11 
print "\\verb,\\<$1>, & {\\isasym$1} $eol\n"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

12 
# print "\\verb,\\<$1>, & \\isactrlbold{\\isasym$1}~{\\isasym$1} $eol\n"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

13 
# print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

14 
# print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

15 
if ("$eol" eq "&") { 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

16 
$eol = "\\\\"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

17 
} else { 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

18 
$eol = "&"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

19 
} 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

20 
} 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

21 
} 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

22 

d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

23 
if ("$eol" eq "\\\\") { 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

24 
print "$eol\n"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

25 
} 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

26 

d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

27 
print "\\end{supertabular}\n"; 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
diff
changeset

28 