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