src/Pure/build-jars
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);
2013-11-30 wenzelm 2013-11-30 prefer 32x32 icon like jedit (image from isabelle.ico);
2013-11-14 wenzelm 2013-11-14 immutable byte vectors versus UTF8 strings;
2013-09-24 wenzelm 2013-09-24 obsolete;
2013-09-22 wenzelm 2013-09-22 clarified location of GUI modules (which depend on Swing of JFX);
2013-09-18 wenzelm 2013-09-18 improved FlowLayout for wrapping of components over multiple lines;
2013-09-12 wenzelm 2013-09-12 clarified directory structure;
2013-09-12 wenzelm 2013-09-12 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); ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
2013-09-10 wenzelm 2013-09-10 discontinued obsolete command-line tool "isabelle build_dialog";
2013-09-07 wenzelm 2013-09-07 clarified modules;
2013-09-07 wenzelm 2013-09-07 dialog for system processes, with optional output window;
2013-09-07 wenzelm 2013-09-07 more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap;
2013-08-29 wenzelm 2013-08-29 clarified module location;
2013-08-17 wenzelm 2013-08-17 some protocol to determine provers according to ML;
2013-08-12 wenzelm 2013-08-12 moved generic module to its proper place;
2013-08-12 wenzelm 2013-08-12 support for maps with multiple entries per key;
2013-08-12 wenzelm 2013-08-12 tuned signature -- more abstract PIDE editor operations;
2013-07-16 wenzelm 2013-07-16 separate module XZ_File to avoid initial dependency on org.tukaani.xz;