src/Pure/Syntax/extension.ML
1993-11-30 wenzelm 1993-11-30 *** empty log message ***
1993-11-29 wenzelm 1993-11-29 changed datatype ext;
1993-11-15 wenzelm 1993-11-15 fun parents: removed pp block (didn't have any effect)
1993-11-14 nipkow 1993-11-14 changed application format for pretty-printer
1993-10-08 wenzelm 1993-10-08 *** empty log message ***
1993-10-04 wenzelm 1993-10-04 lots of internal cleaning and tuning; removed {parse,print}_{pre,post}_proc; new lexer: now human readable due to scanner combinators; new parser installed, but still inactive (due to grammar ambiguities); added Syntax.test_read; typ_of_term: sorts now made distinct and sorted; mixfix: added forced line breaks (//); PROP now printed before subterm of type prop with non-const head;
1993-09-16 clasohm 1993-09-16 Initial revision