2010-05-31 ago modernized some structure names, keeping a few legacy aliases;
2010-05-15 ago renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
2009-11-28 ago workaround for strange compiler crash of Poly/ML 5.0 and 5.1 at this point
2009-11-09 ago setup for official Poly/ML 5.3.0, which is now the default;
2009-11-02 ago modernized structure Proof_Display;
2009-10-20 ago fixed SML/NJ toplevel pp;
2009-06-15 ago override toplevel "use" functions last;
2009-06-04 ago less experimental polyml-5.3;
2009-03-21 ago replaced install_pp/make_pp by more general toplevel_pp based on use_text;
2009-03-21 ago Pretty.position;
2009-03-20 ago uniform ml_prompts for RAW and Pure;
2009-03-10 ago quote binding for ML toplevel pp;
2009-03-03 ago Binding.str_of;
2009-01-23 ago making SMLNJ happy
2008-12-29 ago pretty printer for bindings
2008-12-16 ago renamed structure TaskQueue to Task_Queue;
2008-10-09 ago extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
2008-09-29 ago install_pp Future.T (polyml only);
2008-09-09 ago human-readable printing of TaskQueue.task/group;
2008-08-07 ago install_pp Position.T;
2008-06-24 ago added pprint_thy_ref;
2008-05-18 ago eliminated theory CPure;
2008-04-10 ago val theory = ThyInfo.get_theory;
2008-03-28 ago Context.>> : operate on Context.generic;
2008-03-27 ago eliminated delayed theory setup
2008-03-27 ago implicit setup of emerging theory Pure;
2007-10-29 ago qualified Proofterm.proofs;
2007-10-11 ago renamed Syntax.XXX_mode to Syntax.mode_XXX;
2007-08-13 ago moved appl syntax to PureThy;
2007-08-07 ago theory loader: removed obsolete update_thy (coincides with use_thy);
2007-07-29 ago added ML toplevel use commands: Toplevel.program;
2007-07-17 ago Pure theory setup.