2007-08-28 ago codegen.ML is now loaded in Pure again.
2007-08-15 ago updated code generator setup
2007-08-14 ago moved Tools/xml.ML to General/xml.ML (again);
2007-08-13 ago added Syntax/simple_syntax.ML;
2007-08-10 ago new structure for code generator modules
2007-08-07 ago new nbe implementation
2007-08-06 ago ML-Systems/overloading_smlnj.ML;
2007-08-03 ago moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML;
2007-08-01 ago renamed config_option.ML to config.ML;
2007-07-29 ago removed obsolete install_pp.ML (cf. pure_setup.ML);
2007-07-29 ago added Tools/named_thms.ML;
2007-07-27 ago renamed config.ML to config_option.ML;
2007-07-25 ago added config.ML;
2007-07-24 ago renamed ML-Systems/no_multithreading.ML to ML-Systems/multithreading_dummy.ML;
2007-07-23 ago RAW: updated deps;
2007-07-23 ago added compatibility wrapper for polyml-5.1;
2007-07-23 ago added compatibility file for ML systems without multithreading;
2007-07-17 ago added General/print_mode.ML, pure_setup.ML;
2007-07-12 ago added ProofGeneral/pgip_parser.ML;
2007-07-10 ago added Thy/thy_edit.ML;
2007-07-09 ago removed target RAW-ProofGeneral (impractical to maintain);
2007-07-07 ago added General/markup.ML;
2007-06-19 ago added General/balanced_tree.ML;
2007-06-13 ago added context_position.ML;
2007-05-31 ago moved Compute_Oracle from Pure/Tools to Tools;
2007-05-31 ago reversed SML B library patches;
2007-05-13 ago removed module rat.ML
2007-05-10 ago added conv.ML;
2007-04-14 ago removed Pure/Syntax/ROOT.ML;
2007-04-03 ago added ML-Systems/alice.ML;
2007-02-26 ago added more_thm.ML;
2007-01-19 ago renamed Isar/isar_output.ML to Thy/thy_output.ML;
2007-01-05 ago added codegen_func.ML
2007-01-05 ago RAW-ProofGeneral: more dependencies;
2007-01-04 ago removed obsolete Pure-copied target;
2006-12-30 ago removed obsolete support for polyml-4.9.1;
2006-12-29 ago removed obsolete proof_general.ML;
2006-12-10 ago removed Isar/term_syntax.ML;
2006-12-07 ago added Isar/term_syntax.ML;
2006-12-05 ago added ML-Systems/polyml-5.0.ML;
2006-12-05 ago Add dependency for new Emacs PG code
2006-12-04 ago Build instructions for new Proof General module [not yet activated]
2006-11-23 ago added morphism.ML, General/ml_syntax.ML;
2006-11-16 ago moved some fundamental concepts to General/basics.ML;
2006-11-14 ago removed Isar/isar_thy.ML;
2006-11-10 ago removed obsolete ML compatibility fragments;
2006-11-03 ago dropped name_mangler.ML
2006-10-10 ago removed experimental codegen_simtype
2006-10-09 ago added General/secure.ML;
2006-10-07 ago added Isar/theory_target.ML;
2006-09-27 ago added ML-Systems/polyml-4.9.1.ML;
2006-09-21 ago Added Tools/xml_syntax.ML
2006-09-19 ago added General/susp.ML;
2006-09-19 ago code generation 2 adjustments
2006-09-12 ago added Pure/term_subst.ML;
2006-08-14 ago added code generator packages
2006-08-03 ago added Isar/rule_insts.ML;
2006-07-27 ago added Pure/assumption.ML;
2006-07-26 ago added Pure/subgoal.ML;
2006-07-11 ago added name.ML;