src/Pure/IsaMakefile
2007-12-20 wenzelm 2007-12-20 added ML-Systems/universal.ML;
2007-12-20 wenzelm 2007-12-20 moved Pure/General/random_word.ML to Tools/random_word.ML;
2007-12-19 wenzelm 2007-12-19 added General/random_word.ML;
2007-12-04 wenzelm 2007-12-04 added Tools/isabelle_process.ML;
2007-11-28 wenzelm 2007-11-28 removed typedecl.ML (cf. object_logic.ML);
2007-11-23 haftmann 2007-11-23 separated typedecl module, providing typedecl command with interpretation
2007-11-04 wenzelm 2007-11-04 removed obsolete ProofGeneral/parsing.ML;
2007-11-04 wenzelm 2007-11-04 added ProofGeneral/pgml_isabelle.ML;
2007-10-08 haftmann 2007-10-08 added proper subclass concept; improved class target
2007-10-06 wenzelm 2007-10-06 added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization);
2007-10-04 wenzelm 2007-10-04 moved Pure/Isar/induct_attrib.ML and Provers/induct_method.ML to Tools/induct.ML;
2007-09-24 wenzelm 2007-09-24 renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML; replaced interrupt_timeout by TimeLimit.timeLimit (available on SML/NJ and Poly/ML 5.1);
2007-09-20 wenzelm 2007-09-20 added interpretation.ML;
2007-09-18 wenzelm 2007-09-18 moved Tools/integer.ML to Pure/General/integer.ML;
2007-09-16 wenzelm 2007-09-16 added ML/ml_parse.ML;
2007-09-15 haftmann 2007-09-15 added rudimentary instantiation stub
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]