src/Pure/ML-Systems/polyml-experimental.ML
Sun, 31 May 2009 14:51:21 +0200 wenzelm more modular setup of runtime compilation;
Mon, 23 Mar 2009 22:57:27 +0100 wenzelm tuned;
Mon, 23 Mar 2009 22:37:41 +0100 wenzelm pretty_ml/ml_pretty: proper handling of markup and string length;
Mon, 23 Mar 2009 21:40:11 +0100 wenzelm more systematic type use_context;
Sun, 22 Mar 2009 19:10:59 +0100 wenzelm added pretty_ml;
Sat, 21 Mar 2009 19:58:45 +0100 wenzelm adapted toplevel_pp to ML_Pretty.pretty;
Sat, 21 Mar 2009 15:08:00 +0100 wenzelm added generic ML_Pretty interface;
Mon, 02 Mar 2009 20:31:27 +0100 wenzelm adapted to lates experimental version;
Mon, 02 Feb 2009 22:16:41 +0100 wenzelm Compatibility wrapper for experimental versions of Poly/ML after 5.2.1.
less more (0) tip