2015-09-29 wenzelm 2015-09-29 clarified modules;
2015-09-21 wenzelm 2015-09-21 added isabelle update_then;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;
2015-04-01 wenzelm 2015-04-01 added isabelle build option -k, for fast off-line checking of theory sources;
2015-03-16 wenzelm 2015-03-16 clarified modules;
2015-01-28 wenzelm 2015-01-28 clarified module name;
2015-01-25 wenzelm 2015-01-25 separate module Graph_File;
2015-01-18 wenzelm 2015-01-18 support for tree view on graph nodes; misc tuning;
2015-01-13 wenzelm 2015-01-13 some support for PIDE batch session; clarified Thy_Info.use_thys_options and corresponding protocol command;
2015-01-05 wenzelm 2015-01-05 separate module Metrics; maintain static metrics (with font) and visible_graph via layout;
2015-01-03 wenzelm 2015-01-03 more uniform support for graph display in ML/Scala;
2015-01-01 wenzelm 2015-01-01 tuned signature;
2014-12-30 wenzelm 2014-12-30 clarified source location;
2014-12-11 wenzelm 2014-12-11 added Par_List in Scala, in accordance to ML version; system property "isabelle.threads" determines size of Scala thread pool, like system option "threads" for ML; avoid ".par" framework with its hard-wired thread pool, which also has problems with cancellation; tuned;
2014-11-07 wenzelm 2014-11-07 plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; plain value Outer_Syntax within theory: parsing requires current theory context; clarified name of Keyword.is_literal according to its semantics; eliminated pointless type Keyword.T; simplified @{command_spec}; clarified bootstrap keywords and syntax: take it as basis instead of side-branch;
2014-11-06 wenzelm 2014-11-06 simplified keyword kinds; more explicit bootstrap syntax;
2014-11-02 wenzelm 2014-11-02 added update_header tool;
2014-11-01 wenzelm 2014-11-01 command-line terminator ";" is no longer accepted;
2014-10-31 wenzelm 2014-10-31 discontinued Proof General;
2014-10-27 wenzelm 2014-10-27 clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
2014-10-19 wenzelm 2014-10-19 tuned signature and modules;
2014-10-07 wenzelm 2014-10-07 added update_cartouches tool;
2014-10-02 wenzelm 2014-10-02 some support for bibtex files;
2014-08-12 wenzelm 2014-08-12 separate Java FX modules -- no need to include jfxrt.jar by default;
2014-08-12 wenzelm 2014-08-12 separate module Command_Span: mostly syntactic representation; potentially prover-specific Output_Syntax.parse_spans;
2014-08-11 wenzelm 2014-08-11 clarified modules;
2014-07-24 wenzelm 2014-07-24 clarified file names;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-07-20 wenzelm 2014-07-20 check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation;
2014-05-21 wenzelm 2014-05-21 obsolete;
2014-05-21 wenzelm 2014-05-21 incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time; discontinued pointless "isabelle graphview" command-line tool (Proof General legacy);
2014-05-08 wenzelm 2014-05-08 untyped, unscoped, unchecked access to JVM objects;
2014-05-05 wenzelm 2014-05-05 support print operations as asynchronous query;
2014-05-05 wenzelm 2014-05-05 tuned signature;
2014-04-30 wenzelm 2014-04-30 support for long names in Scala;
2014-04-29 wenzelm 2014-04-29 some sanity checks for Isabelle sources;
2014-04-29 wenzelm 2014-04-29 more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-28 wenzelm 2014-04-28 added Scala version of module Event_Timer;
2014-04-25 wenzelm 2014-04-25 obsolete;
2014-04-24 wenzelm 2014-04-24 consumer thread with unbounded queueing of requests (similar to Message_Channel in ML);
2014-04-24 wenzelm 2014-04-24 added Mailbox, as in ML;
2014-04-24 wenzelm 2014-04-24 eliminated redundant Volatile;
2014-04-24 wenzelm 2014-04-24 more uniform synchronized variables;
2014-04-22 wenzelm 2014-04-22 no need to copy jars, after regular use of classpath in 793a429c63e7;
2014-04-19 wenzelm 2014-04-19 more elementary option sledgehammer_provers, avoiding complications of defaults from ML side (NB: guessing at number of cores does not make sense in PIDE);
2014-04-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-09 wenzelm 2014-04-09 basic URL operations (with Isabelle/Scala error handling);
2014-04-05 wenzelm 2014-04-05 re-implemented build_doc in Isabelle/Scala; clarified command-line: specify documentation files (via document_variants) instead of sessions;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-03-18 wenzelm 2014-03-18 clarified module arrangement;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
2014-02-22 wenzelm 2014-02-22 clarified module location (again, see 763d35697338);
2014-02-16 wenzelm 2014-02-16 antiquotations within plain text: Scala version in accordance to ML;
2014-02-14 wenzelm 2014-02-14 lexical syntax for SML (in Scala); tuned;
2013-12-12 wenzelm 2013-12-12 skeleton for Simplifier trace by Lars Hupel;
2013-12-09 wenzelm 2013-12-09 alternative hires icon;
2013-12-05 wenzelm 2013-12-05 uniform use of transparent icons, as for main "apps";
2013-12-05 wenzelm 2013-12-05 merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
2013-12-01 wenzelm 2013-12-01 more isabelle logos (from isabelle.ico);