2012-04-22 wenzelm 2012-04-22 default Isabelle application wrapper -- JVM entry point for Isabelle.exe;
2012-04-09 wenzelm 2012-04-09 slightly faster default compilation of Isabelle/Scala;
2012-03-26 wenzelm 2012-03-26 more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
2012-03-24 wenzelm 2012-03-24 ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); update for prospective jdk1.7.x component;
2012-03-18 wenzelm 2012-03-18 less noisy Isabelle/Scala build process;
2012-02-23 wenzelm 2012-02-23 directed graphs (in Scala);
2011-12-01 wenzelm 2011-12-01 clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
2011-11-29 wenzelm 2011-11-29 clarified Time vs. Timing;
2011-11-29 wenzelm 2011-11-29 separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-29 wenzelm 2011-11-29 clarified modules;
2011-11-29 wenzelm 2011-11-29 rearranged files;
2011-11-28 wenzelm 2011-11-28 separate module for concrete Isabelle markup;
2011-09-21 wenzelm 2011-09-21 more abstract wrapping of fifos as System_Channel;
2011-09-04 wenzelm 2011-09-04 moved XML/YXML to src/Pure/PIDE; tuned comments;
2011-07-12 wenzelm 2011-07-12 more uniform Properties in ML and Scala;
2011-07-12 wenzelm 2011-07-12 more uniform Term and Term_XML modules;
2011-07-12 wenzelm 2011-07-12 discontinued obsolete Isabelle_Syntax and Parse_Value -- superseded by Outer_Syntax.quote_string and XML.Encode, Term_XML.Encode etc.;
2011-07-12 wenzelm 2011-07-12 tuned XML modules;
2011-07-10 wenzelm 2011-07-10 some support to invoke Scala methods under program control;
2011-07-10 wenzelm 2011-07-10 lambda terms with XML data representation in Scala; avoid `class` in signature;
2011-07-09 wenzelm 2011-07-09 some support for blobs (arbitrary text files) within document nodes;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-07-04 wenzelm 2011-07-04 explicit class Counter;
2011-07-04 wenzelm 2011-07-04 some support for theory files within Isabelle/Scala session;
2011-06-30 wenzelm 2011-06-30 abstract algebra of file paths in Scala (cf. path.ML);
2011-06-23 wenzelm 2011-06-23 simplified arrangement of jars;
2011-06-23 wenzelm 2011-06-23 provide Isabelle/Scala environment as Java extension, instead of user classpath (which is subject to adhoc changes);
2011-06-23 wenzelm 2011-06-23 basic setup for Isabelle charset;
2011-06-15 wenzelm 2011-06-15 tuned messages;
2011-06-09 wenzelm 2011-06-09 tuned;
2011-06-08 wenzelm 2011-06-08 further jedit build option; misc tuning;
2011-06-08 wenzelm 2011-06-08 support fresh build of jars; prefer pushd/popd, to avoid unclarity about fail/exit within sub-shell;
2011-05-21 wenzelm 2011-05-21 misc tuning and update;
2011-05-12 wenzelm 2011-05-12 added toplevel isabelle package -- reduce warnings with;
2010-11-06 wenzelm 2010-11-06 somewhat more uniform timing in ML vs. Scala;
2010-08-28 wenzelm 2010-08-28 volatile variables (in Scala);
2010-08-23 wenzelm 2010-08-23 module for simplified thread operations (Scala version);
2010-08-20 wenzelm 2010-08-20 concentrate protocol message formats in Isar_Document;
2010-08-19 wenzelm 2010-08-19 moved Isar_Document to Pure/PIDE;
2010-08-18 wenzelm 2010-08-18 more efficient Markup_Tree, based on branches sorted by quasi-order; renamed markup_node.scala to markup_tree.scala and classes/objects accordingly; Position.Range: produce actual Text.Range; Symbol.Index.decode: convert 1-based Isabelle offsets here; added static Command.range; simplified Command.markup; Document_Model.token_marker: flatten markup at most once; tuned;
2010-08-17 wenzelm 2010-08-17 digesting strings according to SHA-1 -- Scala version;
2010-08-16 wenzelm 2010-08-16 simplified command status: interpret stacked markup on demand;
2010-08-15 wenzelm 2010-08-15 event_bus.scala rather belongs to system plumbing;
2010-08-15 wenzelm 2010-08-15 moved Text_Edit to Text.Edit; tuned;
2010-08-14 wenzelm 2010-08-14 moved isar_document.ML/scala to Pure/System/ -- side-by-side with isar.ML;
2010-08-12 wenzelm 2010-08-12 specific command state;
2010-08-10 wenzelm 2010-08-10 type XML.Body as basic data representation language (Scala version); tuned;
2010-08-07 wenzelm 2010-08-07 concentrate structural document notions in document.scala; tuned;
2010-05-28 wenzelm 2010-05-28 assume given SCALA_HOME, e.g. from component settings or external setup;
2010-05-21 wenzelm 2010-05-21 simplified message markup, using plain XML.Elem directly;
2010-05-21 wenzelm 2010-05-21 more abstract view on prover output messages;
2010-05-17 wenzelm 2010-05-17 renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
2010-05-15 wenzelm 2010-05-15 renamed Outer_Parse to Parse (in Scala);
2010-05-15 wenzelm 2010-05-15 renamed Outer_Keyword to Keyword (in Scala);
2010-05-06 wenzelm 2010-05-06 basic support for symbolic pretty printing; tuned;
2010-05-05 wenzelm 2010-05-05 some rearrangement of Scala sources;
2010-03-29 wenzelm 2010-03-29 adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
2010-01-11 wenzelm 2010-01-11 clarified terminology;
2010-01-11 wenzelm 2010-01-11 incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
2010-01-06 wenzelm 2010-01-06 tuned Isabelle/Scala build;