src/Pure/build-jars
2014-07-23 ago clarified module name: facilitate alternative GUI frameworks;
2014-07-20 ago check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation;
2014-05-21 ago obsolete;
2014-05-21 ago incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time;
2014-05-08 ago untyped, unscoped, unchecked access to JVM objects;
2014-05-05 ago support print operations as asynchronous query;
2014-05-05 ago tuned signature;
2014-04-30 ago support for long names in Scala;
2014-04-29 ago some sanity checks for Isabelle sources;
2014-04-29 ago more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-28 ago added Scala version of module Event_Timer;
2014-04-25 ago obsolete;
2014-04-24 ago consumer thread with unbounded queueing of requests (similar to Message_Channel in ML);
2014-04-24 ago added Mailbox, as in ML;
2014-04-24 ago eliminated redundant Volatile;
2014-04-24 ago more uniform synchronized variables;
2014-04-22 ago no need to copy jars, after regular use of classpath in 793a429c63e7;
2014-04-19 ago 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 ago tuned signature -- separate module Word;
2014-04-09 ago basic URL operations (with Isabelle/Scala error handling);
2014-04-05 ago re-implemented build_doc in Isabelle/Scala;
2014-04-03 ago more general prover operations;
2014-03-18 ago clarified module arrangement;
2014-03-18 ago clarifed module name;
2014-02-22 ago clarified module location (again, see 763d35697338);
2014-02-16 ago antiquotations within plain text: Scala version in accordance to ML;
2014-02-14 ago lexical syntax for SML (in Scala);
2013-12-12 ago skeleton for Simplifier trace by Lars Hupel;
2013-12-09 ago alternative hires icon;
2013-12-05 ago uniform use of transparent icons, as for main "apps";
2013-12-05 ago merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
2013-12-01 ago more isabelle logos (from isabelle.ico);
2013-11-30 ago prefer 32x32 icon like jedit (image from isabelle.ico);
2013-11-14 ago immutable byte vectors versus UTF8 strings;
2013-09-24 ago obsolete;
2013-09-22 ago clarified location of GUI modules (which depend on Swing of JFX);
2013-09-18 ago improved FlowLayout for wrapping of components over multiple lines;
2013-09-12 ago clarified directory structure;
2013-09-12 ago maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
2013-09-10 ago discontinued obsolete command-line tool "isabelle build_dialog";
2013-09-07 ago clarified modules;
2013-09-07 ago dialog for system processes, with optional output window;
2013-09-07 ago more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap;
2013-08-29 ago clarified module location;
2013-08-17 ago some protocol to determine provers according to ML;
2013-08-12 ago moved generic module to its proper place;
2013-08-12 ago support for maps with multiple entries per key;
2013-08-12 ago tuned signature -- more abstract PIDE editor operations;
2013-07-16 ago separate module XZ_File to avoid initial dependency on org.tukaani.xz;
2013-07-15 ago Scala version of init.bat;
2013-07-07 ago some support for Cygwin;
2013-07-05 ago explicit module Document_ID as source of globally unique identifiers across ML/Scala;
2013-06-25 ago slightly improved "isabelle doc" based on Isabelle/Scala;
2013-06-24 ago improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
2013-06-23 ago Scala version of "isabelle doc";
2013-04-04 ago separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
2013-04-04 ago separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
2013-03-25 ago actually exit on scalac failure;
2013-03-24 ago basic support for xz files;
2013-02-23 ago support for POSIX interrupts (bypassed on Windows);