src/Pure/IsaMakefile
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;
1998-11-24 wenzelm 1998-11-24 added Isar/isar.ML;
1998-11-09 wenzelm 1998-11-09 added Isar;
1998-08-04 wenzelm 1998-08-04 added locale.ML;
1998-06-29 wenzelm 1998-06-29 moved actual (C)Pure theories to pure.ML;
1998-06-16 wenzelm 1998-06-16 added General/history.ML;
1998-06-10 wenzelm 1998-06-10 moved table.ML, object.ML, seq.ML, name_space.ML to General;
1998-06-08 wenzelm 1998-06-08 added theory_data.ML;
1998-06-05 wenzelm 1998-06-05 added object.ML;
1998-05-19 wenzelm 1998-05-19 added Thy/position.ML;
1998-05-18 wenzelm 1998-05-18 added Syntax/source.ML;
1998-04-03 wenzelm 1998-04-03 added attribute.ML;
1998-03-09 wenzelm 1998-03-09 replaced Pure/Syntax/symbol_font.ML by Pure/Syntax/symbol.ML; added Pure/Syntax/scan.ML;
1998-01-07 wenzelm 1998-01-07 improved targets; fixed dependencies on parent logics;
1997-12-28 wenzelm 1997-12-28 replaced symtab.ML by table.ML;