1998-03-09 | wenzelm | replaced Pure/Syntax/symbol_font.ML by Pure/Syntax/symbol.ML; | file | diff | annotate |
1997-12-29 | wenzelm | commented out symboloutput.pl; | file | diff | annotate |
1997-12-29 | wenzelm | added feeder.pl; | file | diff | annotate |
1997-04-16 | wenzelm | fixed perl path (for sunbroys); | file | diff | annotate |
1997-04-13 | wenzelm | fixed file name; | file | diff | annotate |
1997-04-13 | wenzelm | fixencoding - fix references to isabelle font encoding; | file | diff | annotate |