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