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;
2013-07-15 wenzelm 2013-07-15 Scala version of init.bat;
2013-07-07 wenzelm 2013-07-07 some support for Cygwin;
2013-07-05 wenzelm 2013-07-05 explicit module Document_ID as source of globally unique identifiers across ML/Scala;
2013-06-25 wenzelm 2013-06-25 slightly improved "isabelle doc" based on Isabelle/Scala; updated documentation of "isabelle display";
2013-06-24 wenzelm 2013-06-24 improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; tuned signature;
2013-06-23 wenzelm 2013-06-23 Scala version of "isabelle doc"; discontinued slightly odd / unused ">>" comments within Contents (see also b077b79061b6);
2013-04-04 wenzelm 2013-04-04 separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications; tuned signature;
2013-04-04 wenzelm 2013-04-04 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 wenzelm 2013-03-25 actually exit on scalac failure;
2013-03-24 wenzelm 2013-03-24 basic support for xz files;
2013-02-23 wenzelm 2013-02-23 support for POSIX interrupts (bypassed on Windows);
2013-02-13 wenzelm 2013-02-13 file system operations for Graphics2D output;
2013-01-18 wenzelm 2013-01-18 tuned signature;
2013-01-18 wenzelm 2013-01-18 charts for future task runtime statistics;
2013-01-03 wenzelm 2013-01-03 maintain session index on Scala side, for more determistic results; removed unused HTML operations;