src/Pure/IsaMakefile
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);
1999-06-05 wenzelm 1999-06-05 renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;
1999-06-04 wenzelm 1999-06-04 added Isar/calculation.ML;
1999-05-21 wenzelm 1999-05-21 added Interface/ROOT.ML Interface/isamode.ML Interface/proof_general.ML;
1999-05-12 wenzelm 1999-05-12 added url.ML;
1999-04-30 wenzelm 1999-04-30 added Isar/comment.ML;
1999-03-11 wenzelm 1999-03-11 moved Thy/session.ML to Isar/session.ML;
1999-03-09 wenzelm 1999-03-09 *** empty log message ***
1999-02-04 wenzelm 1999-02-04 removed General/use.ML;
1999-02-03 wenzelm 1999-02-03 moved several files;
1999-02-03 paulson 1999-02-03 tidied; added thy_load.ML
1999-01-18 wenzelm 1999-01-18 added General/graph.ML: generic direct graphs;
1999-01-13 wenzelm 1999-01-13 files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
1999-01-12 wenzelm 1999-01-12 removed attribute.ML;