Fri, 16 Aug 2013 23:11:51 +0200 wenzelm tuned;
Fri, 16 Aug 2013 22:57:16 +0200 wenzelm check_tool wrt. official ISABELLE_TOOLS;
Fri, 16 Aug 2013 22:39:31 +0200 wenzelm more markup via Name_Space.check;
Fri, 16 Aug 2013 21:33:36 +0200 wenzelm more standard attribute_setup / method_setup -- export key ML operations instead of parsers;
Fri, 16 Aug 2013 21:28:05 +0200 wenzelm standardized aliases;
Fri, 16 Aug 2013 20:58:15 +0200 wenzelm more markup -- avoid old Locale.extern;
Fri, 16 Aug 2013 19:03:31 +0200 blanchet renamed function
Fri, 16 Aug 2013 18:56:33 +0200 blanchet eliminate quasi-duplicate function
Fri, 16 Aug 2013 18:45:57 +0200 blanchet generalized "mk_permute"
Fri, 16 Aug 2013 18:36:55 +0200 blanchet tuning
Fri, 16 Aug 2013 18:14:58 +0200 blanchet added more functions to BNF library
Fri, 16 Aug 2013 18:06:37 +0200 blanchet moved function to where it seems to belong
Fri, 16 Aug 2013 18:04:39 +0200 blanchet moved library function where it belongs, and used Dmitriy's inside-out implementation
Fri, 16 Aug 2013 16:48:46 +0200 blanchet added useful library function
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip