src/Pure/IsaMakefile
2006-01-22 wenzelm 2006-01-22 added Isar/local_theory.ML;
2006-01-07 wenzelm 2006-01-07 added Isar/specification.ML;
2005-12-12 haftmann 2005-12-12 added generic name mangler
2005-11-14 haftmann 2005-11-14 added modules for code generator generation two, not operational yet
2005-11-14 wenzelm 2005-11-14 added ML-Systems/polyml-4.1.4-patch.ML, ML-Systems/polyml-4.2.0.ML;
2005-11-09 wenzelm 2005-11-09 added Isar/element.ML;
2005-11-08 wenzelm 2005-11-08 renamed goals.ML to old_goals.ML;
2005-11-02 wenzelm 2005-11-02 added consts.ML;
2005-10-21 wenzelm 2005-10-21 added goal.ML;
2005-10-19 wenzelm 2005-10-19 removed obsolete Thy/thy_parse.ML, Thy/thy_scan.ML, Thy/thy_syn.ML;
2005-10-14 haftmann 2005-10-14 added module rat.ML for rational numbers
2005-10-08 wenzelm 2005-10-08 moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import;
2005-09-13 wenzelm 2005-09-13 added General/stack.ML, Isar/proof_display.ML;
2005-08-28 haftmann 2005-08-28 added alist.ML
2005-08-16 wenzelm 2005-08-16 added Isar/outer_keyword.ML;
2005-08-01 wenzelm 2005-08-01 added compress.ML;
2005-07-12 obua 2005-07-12 - introduce Pure/Tools directory - add compute oracle to Pure/Tools
2005-06-22 wenzelm 2005-06-22 removed Pure/Isar/proof_data.ML, Pure/General/object.ML;
2005-06-22 paulson 2005-06-22 pointer equality for sml/nj
2005-06-18 wenzelm 2005-06-18 added Pure/General/ord_list.ML;
2005-06-17 wenzelm 2005-06-17 removed Pure/theory_data.ML;
2005-06-11 wenzelm 2005-06-11 added ML-Systems/polyml-posix.ML;
2005-06-01 nipkow 2005-06-01 added dependency
2005-05-29 obua 2005-05-29 Implement cycle-free overloading, so that definitions cannot harm consistency any more (except of course via interaction with axioms).
2005-05-22 wenzelm 2005-05-22 added Pure/simplifier.ML, Pure/Isar/find_theorems.ML;
2005-04-23 wenzelm 2005-04-23 removed Pure/Syntax/token_trans.ML Pure/Thy/ROOT.ML Pure/Proof/ROOT.ML Pure/Isar/isar.ML;
2005-04-21 wenzelm 2005-04-21 superceded by Pure.thy and CPure.thy;
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2004-06-05 wenzelm 2004-06-05 removed Pure/ML-Systems/mlworks.ML Pure/ML-Systems/polyml-3.x.ML Pure/ML-Systems/smlnj-0.93.ML; added ML-Systems/polyml-time-limit.ML;
2004-05-29 wenzelm 2004-05-29 added Pure/General/output.ML;
2004-04-22 wenzelm 2004-04-22 added Isar/constdefs.ML;
2004-04-05 skalberg 2004-04-05 Added support for the newer versions of SML/NJ, which break several of the old interfaces.
2004-01-08 skalberg 2004-01-08 Added lazy sequences and parser combinators for same.
2002-07-21 berghofe 2002-07-21 Added program extraction module.
2002-07-02 wenzelm 2002-07-02 added fact_index.ML;
2002-02-12 wenzelm 2002-02-12 eliminated Isar/comment.ML;
2002-02-11 wenzelm 2002-02-11 ML-Systems/smlnj-compiler.ML compatibility tweak;
2002-01-16 wenzelm 2002-01-16 Interface/proof_general.ML move to proof_general.ML;
2002-01-11 wenzelm 2002-01-11 removed obsolete isamode.ML;
2001-12-10 wenzelm 2001-12-10 removed additional blank line (confuses some versions of make);
2001-12-08 wenzelm 2001-12-08 added General/xml.ML;
2001-12-03 wenzelm 2001-12-03 renamed rule_context.ML to context_rules.ML;
2001-11-26 wenzelm 2001-11-26 added Pure/Isar/rule_context.ML;
2001-10-22 wenzelm 2001-10-22 reorganize sources to accomodate locales;
2001-10-14 wenzelm 2001-10-14 added object_logic.ML;
2001-10-03 wenzelm 2001-10-03 Isar/induct_attrib.ML;
2001-08-31 berghofe 2001-08-31 Added new files for proof terms.
2001-02-05 wenzelm 2001-02-05 polyml-3.x.ML vs polyml-4.0.ML;
2000-11-07 berghofe 2000-11-07 Added new file meta_simplifier.ML
2000-09-28 wenzelm 2000-09-28 support copy option;
2000-08-29 wenzelm 2000-08-29 added ML-Systems/polyml-4.0.ML;
2000-06-25 wenzelm 2000-06-25 added Isar/antiquote.ML, Isar/isar_output.ML, Isar/thy_header.ML;
2000-06-20 paulson 2000-06-20 new file heap.ML
2000-03-08 wenzelm 2000-03-08 added Isar/rule_cases.ML;
2000-02-27 wenzelm 2000-02-27 added Isar/net_rules.ML;
1999-10-07 berghofe 1999-10-07 Added file Thy/thm_deps.ML
1999-10-05 wenzelm 1999-10-05 added Thy/latex.ML; removed Thy/browser_info.ML (stuff now in Thy/present.ML);
1999-10-01 wenzelm 1999-10-01 added Isar/obtain.ML;
1999-07-09 wenzelm 1999-07-09 added Isar/local_defs.ML;
1999-07-02 wenzelm 1999-07-02 skip_proof feature 'sorry' (for quick_and_dirty mode only);