src/Pure/General/scan.ML
Fri, 16 Jul 1999 22:25:07 +0200 wenzelm tuned dest_lexicon;
Wed, 12 May 1999 16:52:28 +0200 wenzelm rearranged order of modules;
Wed, 13 Jan 1999 15:18:02 +0100 wenzelm fixed titles;
Wed, 13 Jan 1999 12:44:33 +0100 wenzelm files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
less more (0) tip