src/Pure/ML-Systems/polyml_common.ML
Sun, 31 May 2009 14:15:07 +0200 wenzelm discontinued support for Poly/ML 4.x versions;
Mon, 23 Mar 2009 21:40:11 +0100 wenzelm more systematic type use_context, with particular values ML_Parse.global_context and ML_Context.local_context;
Sat, 21 Mar 2009 19:58:45 +0100 wenzelm replaced install_pp/make_pp by more general toplevel_pp based on use_text;
Sat, 21 Mar 2009 15:08:00 +0100 wenzelm added generic ML_Pretty interface;
Sun, 01 Mar 2009 16:21:33 +0100 wenzelm end_timing: generalized result -- message plus with explicit time values;
Mon, 19 Jan 2009 19:38:03 +0100 wenzelm removed Ids;
Thu, 09 Oct 2008 21:34:05 +0200 wenzelm extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
Fri, 03 Oct 2008 21:06:36 +0200 wenzelm removed obsolete Posix/Signal compatibility wrappers;
Wed, 01 Oct 2008 12:00:02 +0200 wenzelm more robust treatment of Interrupt (cf. exn.ML);
Mon, 29 Sep 2008 21:26:49 +0200 wenzelm added type pp, which helps installing polymorphic pretty printers;
Wed, 17 Sep 2008 21:27:24 +0200 wenzelm use_text/use_file now depend on explicit ML name space;
Sun, 07 Sep 2008 17:46:43 +0200 wenzelm explicit use of universal.ML and dummy_thread.ML;
Fri, 28 Mar 2008 22:39:47 +0100 wenzelm added forget_structure;
Mon, 24 Mar 2008 18:35:46 +0100 wenzelm removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
Thu, 06 Mar 2008 20:17:50 +0100 wenzelm common setup for system_out/system;
Thu, 06 Mar 2008 19:21:26 +0100 wenzelm rearrangements to make latest Poly/ML the default, not old 4.x;
less more (0) tip