src/Pure/IsaMakefile
2009-06-01 wenzelm 2009-06-01 added structure ML_Compiler: runtime compilation, with advanced version for Poly/ML 5.3 (formerly ML_Test);
2009-06-01 wenzelm 2009-06-01 moved local ML environment to separate module ML_Env;
2009-05-31 wenzelm 2009-05-31 renamed polyml_pp.ML to pp_polyml.ML; explicit PolyML.install_pp;
2009-05-31 wenzelm 2009-05-31 more modular setup of runtime compilation;
2009-05-31 wenzelm 2009-05-31 discontinued support for Poly/ML 4.x versions;
2009-05-14 haftmann 2009-05-14 merged module code_unit.ML into code.ML
2009-04-25 wenzelm 2009-04-25 misc cleanup of auto_solve and quickcheck: tools are in src/Tools and loaded uniformly in HOL; preferences are configured in their proper place -- despite old misleading comments in the source; use predefined preferences categories; setmp preferences in-place;
2009-04-24 haftmann 2009-04-24 observe distinction between Pure/Tools and Tools more closely
2009-03-23 wenzelm 2009-03-23 more systematic type use_context, with particular values ML_Parse.global_context and ML_Context.local_context;
2009-03-22 wenzelm 2009-03-22 ML/ml_test.ML: test of advanced ML compiler invocation in Poly/ML 5.3;
2009-03-21 wenzelm 2009-03-21 extra toplevel pretty-printing for Poly/ML; experimental version for Poly/ML 5.3;
2009-03-21 wenzelm 2009-03-21 added polyml_pp.ML: toplevel pretty printing for Poly/ML 4.x and 5.x before 5.3;
2009-03-21 wenzelm 2009-03-21 added generic ML_Pretty interface;
2009-03-19 wenzelm 2009-03-19 moved Isar/antiquote.ML to General/antiquote.ML, which is loaded early;
2009-03-17 wenzelm 2009-03-17 turned structure NetRules into general Item_Net, which is loaded earlier;
2009-03-08 wenzelm 2009-03-08 added General/long_name.ML;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-01 wenzelm 2009-03-01 discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
2009-02-28 wenzelm 2009-02-28 more accurate deps;
2009-02-28 wenzelm 2009-02-28 moved isabelle_system.scala to src/Pure/System/;
2009-02-28 wenzelm 2009-02-28 moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);
2009-02-27 wenzelm 2009-02-27 moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each;
2009-02-27 wenzelm 2009-02-27 added ML-Systems/polyml-experimental.ML; more systematic treatment of bootstrap files;
2009-02-13 kleing 2009-02-13 New command find_consts searching for constants by type (by Timothy Bourke).
2009-02-11 kleing 2009-02-11 Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke
2009-01-21 haftmann 2009-01-21 wrecked old locale package and related modules
2009-01-18 wenzelm 2009-01-18 Scala wrapper for interactive Isar documents;
2009-01-13 wenzelm 2009-01-13 added Isar/isar_document.ML: Interactive Isar documents.
2009-01-11 wenzelm 2009-01-11 added outer_keyword.scala: Isar command keyword classification;
2009-01-05 haftmann 2009-01-05 locale -> old_locale, new_locale -> locale
2009-01-05 haftmann 2009-01-05 rearranged target theories
2009-01-03 haftmann 2009-01-03 merged
2009-01-03 haftmann 2009-01-03 added binding.ML
2009-01-02 wenzelm 2009-01-02 renamed ThyEdit (in thy_edit.ML) to ThySyntax (in thy_syntax.ML);
2009-01-02 wenzelm 2009-01-02 added Isar/value_parse.ML: Outer syntax parsers for basic ML values.
2008-12-31 wenzelm 2008-12-31 moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); tuned signature of structure Term;
2008-12-31 wenzelm 2008-12-31 added old_term.ML;
2008-12-30 ballarin 2008-12-30 Merged.
2008-12-10 ballarin 2008-12-10 Missing dependency
2008-12-29 wenzelm 2008-12-29 Swing utilities.
2008-12-29 wenzelm 2008-12-29 Generic event bus.
2008-12-16 wenzelm 2008-12-16 removed old scheduler;
2008-12-15 haftmann 2008-12-15 moved value.ML to src/Tools
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-11-14 ballarin 2008-11-14 Initial part of locale reimplementation.
2008-10-27 ballarin 2008-10-27 New-style locale expressions with instantiation (new file expression.ML).
2008-10-23 wenzelm 2008-10-23 renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
2008-10-16 wenzelm 2008-10-16 added dep for Concurrent/ROOT.ML;
2008-10-13 wenzelm 2008-10-13 added Concurrent/synchronized.ML;
2008-10-09 wenzelm 2008-10-09 extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
2008-10-09 wenzelm 2008-10-09 added Concurrent/par_list_dummy.ML;
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2008-10-04 wenzelm 2008-10-04 added Thy/thy_header.scala;
2008-09-29 wenzelm 2008-09-29 added context_position.ML;
2008-09-22 wenzelm 2008-09-22 removed deriv.ML which is now incorporated into thm.ML;
2008-09-19 wenzelm 2008-09-19 added Isar/isar.scala;
2008-09-18 wenzelm 2008-09-18 jar: include sources;
2008-09-18 wenzelm 2008-09-18 added deriv.ML: Abstract derivations based on raw proof terms.
2008-09-17 wenzelm 2008-09-17 added ML-Systems/ml_name_space.ML;