src/Pure/IsaMakefile
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;
2008-09-16 haftmann 2008-09-16 added quickcheck stub
2008-09-16 wenzelm 2008-09-16 added Concurrent/simple_thread.ML;
2008-09-16 haftmann 2008-09-16 generic value command
2008-09-11 wenzelm 2008-09-11 added Concurrent/par_list.ML;
2008-09-08 wenzelm 2008-09-08 added Concurrent/task_queue.ML;
2008-09-07 wenzelm 2008-09-07 added Concurrent/future.ML;
2008-09-07 wenzelm 2008-09-07 added ML-Systems/thread_dummy.ML;
2008-09-04 wenzelm 2008-09-04 fixed deps: no Concurrent/receiver.ML yet;
2008-09-04 wenzelm 2008-09-04 added Concurrent/mailbox.ML;
2008-09-04 wenzelm 2008-09-04 added General/queue.ML;
2008-09-04 wenzelm 2008-09-04 added Concurrent/schedule.ML;
2008-08-28 wenzelm 2008-08-28 removed obsolete ProofGeneral/pgml_isabelle.ML;
2008-08-27 wenzelm 2008-08-27 added General/properties.ML;
2008-08-26 wenzelm 2008-08-26 purge classes after compilation;
2008-08-23 wenzelm 2008-08-23 added General/position.scala;
2008-08-23 wenzelm 2008-08-23 added General/markup.scala;
2008-08-23 wenzelm 2008-08-23 added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala; scalac -deprecation;
2008-08-17 wenzelm 2008-08-17 added General/xml.scala, General/yxml.scala;