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