Fri, 01 Sep 2000 17:38:03 +0200 | wenzelm | /usr/bin/perl; | file | diff | annotate |
Thu, 14 Jan 1999 12:32:00 +0100 | wenzelm | Pure/General/symbol.ML; | file | diff | annotate |
Mon, 09 Mar 1998 16:05:34 +0100 | wenzelm | replaced Pure/Syntax/symbol_font.ML by Pure/Syntax/symbol.ML; | file | diff | annotate |
Mon, 29 Dec 1997 21:38:19 +0100 | wenzelm | commented out symboloutput.pl; | file | diff | annotate |
Mon, 29 Dec 1997 21:37:23 +0100 | wenzelm | added feeder.pl; | file | diff | annotate |
Wed, 16 Apr 1997 18:51:03 +0200 | wenzelm | fixed perl path (for sunbroys); | file | diff | annotate |
Sun, 13 Apr 1997 19:16:25 +0200 | wenzelm | fixed file name; | file | diff | annotate |
Sun, 13 Apr 1997 19:10:27 +0200 | wenzelm | fixencoding - fix references to isabelle font encoding; | file | diff | annotate |