src/Pure/ML/ml_syntax.ML
Tue, 22 Mar 2011 11:14:33 +0100 wenzelm pretty_string: proper handling of negative max_len;
Mon, 10 Jan 2011 15:45:46 +0100 wenzelm eliminated Int.toString;
Wed, 29 Dec 2010 20:41:33 +0100 wenzelm tuned ML toplevel pp for type string: observe depth limit;
Fri, 19 Nov 2010 23:48:07 +0100 wenzelm total Symbol.explode (cf. 1050315f6ee2);
Fri, 17 Sep 2010 22:42:07 +0200 wenzelm ML_Syntax.print_char: more readable output of some well-known ASCII controls -- this is relevant for ML toplevel pp;
Thu, 24 Jun 2010 23:20:47 +0200 wenzelm ML pretty printing of type string according to (quasi-abstract) YXML markup and symbols (including UTF8);
Wed, 10 Jun 2009 11:12:40 +0200 wenzelm allow Isabelle symbols within low-level ML source;
Sun, 15 Mar 2009 15:59:42 +0100 wenzelm added make_binding;
Tue, 03 Mar 2009 21:48:40 +0100 wenzelm added print_properties, print_position (again);
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Mon, 24 Mar 2008 17:09:33 +0100 wenzelm removed unused print_properties, print_position;
Thu, 20 Mar 2008 16:04:32 +0100 wenzelm added print_properties, print_position;
Sat, 15 Sep 2007 19:26:17 +0200 wenzelm ML_Lex.keywords;
Fri, 14 Sep 2007 17:02:34 +0200 wenzelm moved ML_XXX.ML files to Pure/ML;
less more (0) tip