src/Pure/Isar/local_syntax.ML
2010-03-01 wenzelm 2010-03-01 more uniform treatment of syntax for types vs. consts;
2009-11-02 wenzelm 2009-11-02 modernized structure Local_Syntax;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2007-11-11 wenzelm 2007-11-11 syntax operations: turned extend'' into update'' (absorb duplicates);
2007-11-10 wenzelm 2007-11-10 update_modesyntax: based on Syntax.update_const_gram (avoids duplicates);
2007-10-11 wenzelm 2007-10-11 renamed Syntax.XXX_mode to Syntax.mode_XXX;
2007-10-11 wenzelm 2007-10-11 update_modesyntax: may delete 'structure' notation as well;
2007-10-10 wenzelm 2007-10-10 replaced add_modesyntax by general update_modesyntax (add or del); tuned;
2006-09-29 wenzelm 2006-09-29 Syntax.mode; refrain from removing conflicting mixfixes;
2006-05-16 wenzelm 2006-05-16 added add_modesyntax; tuned;
2006-05-11 wenzelm 2006-05-11 tuned;
2006-05-02 wenzelm 2006-05-02 maintain implicit syntax mode; tuned;
2006-04-27 wenzelm 2006-04-27 tuned basic list operators (flat, maps, map_filter);
2006-04-24 haftmann 2006-04-24 moved coalesce to AList, added equality predicates to library
2006-04-09 wenzelm 2006-04-09 add_syntax: actually observe print mode;
2006-04-08 wenzelm 2006-04-08 simplified handling of authentic syntax (cf. early externing in consts.ML); simplified extern_term;
2006-02-11 wenzelm 2006-02-11 tuned mixfixes, mixfix_conflict;
2006-02-10 wenzelm 2006-02-10 Local syntax depending on theory syntax.