--- a/doc-src/IsarRef/showsymbols Mon Jul 20 19:58:11 2009 +0200 +++ b/doc-src/IsarRef/showsymbols Mon Jul 20 20:03:19 2009 +0200 @@ -1,6 +1,4 @@ #!/usr/bin/env perl -# -# $Id$ print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";