doc-src/IsarRef/showsymbols
changeset 32088 2110fcd86efb
parent 28838 d5db6dfcb34a
equal deleted inserted replaced
32087:a1f3592b3939 32088:2110fcd86efb
     1 #!/usr/bin/env perl
     1 #!/usr/bin/env perl
     2 #
       
     3 # $Id$
       
     4 
     2 
     5 print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
     3 print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
     6 
     4 
     7 $eol = "&";
     5 $eol = "&";
     8 
     6