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