src/Pure/IsaMakefile
2009-09-28 wenzelm 2009-09-28 Dummy version of state variables -- plain refs for sequential access.
2009-09-07 wenzelm 2009-09-07 modernized Event_Bus -- based on actors;
2009-09-01 wenzelm 2009-09-01 removed old Isar document model;
2009-09-01 wenzelm 2009-09-01 added linear_set.scala from http://isabelle.in.tum.de/repos/isabelle-jedit/rev/d567692f9717
2009-08-29 wenzelm 2009-08-29 moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala; renamed object IsabelleSyntax to Isabelle_Syntax;
2009-07-25 wenzelm 2009-07-25 renamed structure Display_Goal to Goal_Display;
2009-07-24 wenzelm 2009-07-24 renamed Pure/tctical.ML to Pure/tactical.ML;
2009-07-20 wenzelm 2009-07-20 moved pretty_goals etc. to Display_Goal (required by tracing tacticals); load display.ML after assumption.ML, to accomodate proper contextual theorem display;
2009-07-16 wenzelm 2009-07-16 Support for copy-avoiding functions on pure values, at the cost of readability.
2009-07-04 wenzelm 2009-07-04 renamed Delay to Swing_Thread.delay (action is executed within AWT thread!);
2009-07-04 wenzelm 2009-07-04 Delayed action.
2009-06-30 wenzelm 2009-06-30 renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
2009-06-28 wenzelm 2009-06-28 more precise dependencies for "jars"; allow spaces in SCALA_HOME;
2009-06-28 wenzelm 2009-06-28 clarified "jars" target;
2009-06-28 wenzelm 2009-06-28 produce self-contained isabelle-scala.jar;
2009-06-28 wenzelm 2009-06-28 minimal GUI_Setup, which is the main class of Pure.jar;
2009-06-28 wenzelm 2009-06-28 moved platform identification to platform.scala; more precise discrimination, including 64bit option;
2009-06-23 wenzelm 2009-06-23 Completion of symbols and keywords.
2009-06-18 wenzelm 2009-06-18 jar: jvmpath wrapper (requires bash);
2009-06-17 wenzelm 2009-06-17 more detailed start_timing/end_timing (in timing.ML); removed obsolete check_timer;
2009-06-16 wenzelm 2009-06-16 Efficient scanning of literals.
2009-06-08 wenzelm 2009-06-08 Accessing the Cygwin installation.
2009-06-06 wenzelm 2009-06-06 moved Isar toplevel runtime support to runtime.ML, which is loaded early (before ml_compiler.ML);
2009-06-04 wenzelm 2009-06-04 less experimental polyml-5.3;
2009-06-04 wenzelm 2009-06-04 just one ROOT.ML without any cd or ".." -- simplifies ML environment references to bootstrap sources;
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);