src/Pure/ML-Systems/polyml-experimental.ML
2009-06-04 wenzelm 2009-06-04 less experimental polyml-5.3;
2009-06-04 wenzelm 2009-06-04 reraise exceptions to preserve original position (ML system specific);
2009-05-31 wenzelm 2009-05-31 explicit PolyML qualification;
2009-05-31 wenzelm 2009-05-31 more modular setup of runtime compilation;
2009-03-23 wenzelm 2009-03-23 tuned;
2009-03-23 wenzelm 2009-03-23 pretty_ml/ml_pretty: proper handling of markup and string length;
2009-03-23 wenzelm 2009-03-23 more systematic type use_context; put_message: print optional context message as well;
2009-03-22 wenzelm 2009-03-22 added pretty_ml;
2009-03-21 wenzelm 2009-03-21 adapted toplevel_pp to ML_Pretty.pretty;
2009-03-21 wenzelm 2009-03-21 added generic ML_Pretty interface;
2009-03-02 wenzelm 2009-03-02 adapted to lates experimental version; PolyML.Compiler.CPPrintInAlphabeticalOrder false (redundant?);
2009-02-02 wenzelm 2009-02-02 Compatibility wrapper for experimental versions of Poly/ML after 5.2.1.