| 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 |