src/Pure/Isar/local_syntax.ML
Sun, 11 Nov 2007 14:00:09 +0100 wenzelm syntax operations: turned extend'' into update'' (absorb duplicates);
Sat, 10 Nov 2007 23:04:00 +0100 wenzelm update_modesyntax: based on Syntax.update_const_gram (avoids duplicates);
Thu, 11 Oct 2007 16:05:26 +0200 wenzelm renamed Syntax.XXX_mode to Syntax.mode_XXX;
Thu, 11 Oct 2007 00:28:32 +0200 wenzelm update_modesyntax: may delete 'structure' notation as well;
Wed, 10 Oct 2007 17:31:59 +0200 wenzelm replaced add_modesyntax by general update_modesyntax (add or del);
Fri, 29 Sep 2006 22:47:03 +0200 wenzelm Syntax.mode;
Tue, 16 May 2006 21:33:11 +0200 wenzelm added add_modesyntax;
Thu, 11 May 2006 19:19:33 +0200 wenzelm tuned;
Tue, 02 May 2006 20:42:37 +0200 wenzelm maintain implicit syntax mode;
Thu, 27 Apr 2006 15:06:35 +0200 wenzelm tuned basic list operators (flat, maps, map_filter);
Mon, 24 Apr 2006 16:35:30 +0200 haftmann moved coalesce to AList, added equality predicates to library
Sun, 09 Apr 2006 18:51:21 +0200 wenzelm add_syntax: actually observe print mode;
Sat, 08 Apr 2006 22:51:25 +0200 wenzelm simplified handling of authentic syntax (cf. early externing in consts.ML);
Sat, 11 Feb 2006 17:17:51 +0100 wenzelm tuned mixfixes, mixfix_conflict;
Fri, 10 Feb 2006 02:22:39 +0100 wenzelm Local syntax depending on theory syntax.
less more (0) tip