2010-08-10 wenzelm 2010-08-10 type XML.body as basic data representation language; tuned;
2010-08-05 wenzelm 2010-08-05 simplified/refined document model: collection of named nodes, without proper dependencies yet; moved basic type definitions for ids and edits from Isar_Document to Document; removed begin_document/end_document for now -- nodes emerge via edits; edits refer to named nodes explicitly;
2010-05-21 wenzelm 2010-05-21 refrain from forcing a hardwired SHELL value, cf. 1494ded298a6 but it becomes obsolete again in 549969a7f582 and follow-ups;
2010-05-17 wenzelm 2010-05-17 renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time; eliminated slightly odd alias structure T;
2010-05-15 wenzelm 2010-05-15 renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time;
2010-05-15 wenzelm 2010-05-15 renamed structure ValueParse to Parse_Value; eliminated old-style structure alias V;
2010-05-15 wenzelm 2010-05-15 renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time;
2010-03-07 wenzelm 2010-03-07 Digesting strings according to SHA-1.
2010-03-07 wenzelm 2010-03-07 separate structure Typedecl;
2010-02-06 wenzelm 2010-02-06 removed ever experimental support for Moscow ML -- hardly works anymore;
2010-02-06 wenzelm 2010-02-06 explicit representation of single-assignment variables;
2010-02-06 wenzelm 2010-02-06 renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
2010-01-06 wenzelm 2010-01-06 simplified build/bootstrap of Isabelle/Scala components -- avoid make;
2010-01-05 wenzelm 2010-01-05 Basic edits on plain text.
2010-01-05 wenzelm 2010-01-05 separate module Thy_Syntax for command span parsing;
2010-01-04 wenzelm 2010-01-04 omit useless (?) scaladoc;
2010-01-02 wenzelm 2010-01-02 Download URLs -- with progress monitor.
2010-01-01 wenzelm 2010-01-01 Future values -- Scala version.
2009-12-28 wenzelm 2009-12-28 separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
2009-12-22 wenzelm 2009-12-22 renamed class Outer_Keyword to Outer_Syntax; renamed tokenize to scan (cf. ML version);
2009-12-22 wenzelm 2009-12-22 Isabelle session manager -- most basic setup;
2009-12-22 wenzelm 2009-12-22 Generic parsers for Isabelle/Isar outer syntax -- Scala version.
2009-12-20 wenzelm 2009-12-20 more Scala sources;
2009-12-19 wenzelm 2009-12-19 added basic library -- Scala version; added extra support for exceptions -- Scala version; moved exn.ML to accompany exn.scala;
2009-12-18 wenzelm 2009-12-18 removed junk (cf. f49d45afa634);
2009-12-17 wenzelm 2009-12-17 Result.cache;
2009-12-04 wenzelm 2009-12-04 Basic HTML output.
2009-11-09 wenzelm 2009-11-09 setup for official Poly/ML 5.3.0, which is now the default;
2009-11-01 wenzelm 2009-11-01 Rules that characterize functional/relational specifications.
2009-10-01 wenzelm 2009-10-01 Concurrently cached values.
2009-10-01 wenzelm 2009-10-01 more official status of sequential implementations; tuned;
2009-10-01 wenzelm 2009-10-01 separate concurrent/sequential versions of lazy evaluation; lazy based on future avoids wasted evaluations;
2009-09-29 wenzelm 2009-09-29 Raw ML references as unsynchronized state variables.
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
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;