src/Pure/Syntax/extension.ML
Mon, 15 Nov 1993 10:30:37 +0100 wenzelm fun parents: removed pp block (didn't have any effect)
Sun, 14 Nov 1993 15:14:30 +0100 nipkow changed application format for pretty-printer
Fri, 08 Oct 1993 13:55:04 +0100 wenzelm *** empty log message ***
Mon, 04 Oct 1993 15:30:49 +0100 wenzelm lots of internal cleaning and tuning;
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip