src/Pure/pure_setup.ML
2008-12-29 haftmann 2008-12-29 pretty printer for bindings
2008-12-16 wenzelm 2008-12-16 renamed structure TaskQueue to Task_Queue;
2008-10-09 wenzelm 2008-10-09 extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
2008-09-29 wenzelm 2008-09-29 install_pp Future.T (polyml only);
2008-09-09 wenzelm 2008-09-09 human-readable printing of TaskQueue.task/group;
2008-08-07 wenzelm 2008-08-07 install_pp Position.T;
2008-06-24 wenzelm 2008-06-24 added pprint_thy_ref;
2008-05-18 wenzelm 2008-05-18 eliminated theory CPure;
2008-04-10 wenzelm 2008-04-10 val theory = ThyInfo.get_theory;
2008-03-28 wenzelm 2008-03-28 Context.>> : operate on Context.generic;
2008-03-27 wenzelm 2008-03-27 eliminated delayed theory setup
2008-03-27 wenzelm 2008-03-27 implicit setup of emerging theory Pure;
2007-10-29 wenzelm 2007-10-29 qualified Proofterm.proofs;
2007-10-11 wenzelm 2007-10-11 renamed Syntax.XXX_mode to Syntax.mode_XXX;
2007-08-13 wenzelm 2007-08-13 moved appl syntax to PureThy;
2007-08-07 wenzelm 2007-08-07 theory loader: removed obsolete update_thy (coincides with use_thy);
2007-07-29 wenzelm 2007-07-29 added ML toplevel use commands: Toplevel.program; added install_pp stuff;
2007-07-17 wenzelm 2007-07-17 Pure theory setup.