src/Doc/Isar_Ref/document/showsymbols
author wenzelm
Sat, 01 Jun 2019 11:29:59 +0200
changeset 70299 83774d669b51
parent 67146 909dcdec2122
permissions -rwxr-xr-x
Added tag Isabelle2019-RC4 for changeset ad2d84c42380

#!/usr/bin/env perl

print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";

$eol = "&";

while (<ARGV>) {
    if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
        print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
        if ("$eol" eq "&") {
            $eol = "\\\\";
        } else {
            $eol = "&";
        }
    }
}

if ("$eol" eq "\\\\") {
    print "$eol\n";
}

print "\\end{supertabular}\n";