src/Pure/Syntax/sextension.ML
1994-07-14 wenzelm 1994-07-14 minor internal renamings;
1994-05-19 wenzelm 1994-05-19 added insort_tr, prop_tr' (for axclasses); added pure_trfuns; various minor internal changes;
1994-04-22 clasohm 1994-04-22 changed the way a grammar is generated to allow the new parser to work; also made a lot of changes in parser.ML and minor ones elsewhere
1994-03-03 lcp 1994-03-03 changed "x" to "uu" for implicit name of the dependent type variable
1994-02-21 wenzelm 1994-02-21 improved explode_tr;
1994-02-03 wenzelm 1994-02-03 added type 'syntax'; added syntax_consts (_K, _explode, _implode, ...);
1994-01-19 wenzelm 1994-01-19 MAJOR INTERNAL CHANGE: extend and merge operations of syntax tables now much leaner (eliminated gramgraph, all data except tables of old parser are shared); simplified the internal interfaces for syntax extension; added translations for _explode, _implode (experimental);
1993-11-29 wenzelm 1993-11-29 improved comments;
1993-11-11 nipkow 1993-11-11 changed formatting for application
1993-10-11 wenzelm 1993-10-11 removed ndependent_tr (no longer needed, use _K);
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