src/Pure/build-jars
2016-10-24 wenzelm 2016-10-24 discontinued unused / untested distinction of separate PIDE modules;
2016-10-24 wenzelm 2016-10-24 proper Admin tool;
2016-10-22 wenzelm 2016-10-22 regular user tool;
2016-10-19 wenzelm 2016-10-19 proper isabelle tool in Scala;
2016-10-16 wenzelm 2016-10-16 support for Non-Uniform Memory Access of separate CPU nodes;
2016-10-13 wenzelm 2016-10-13 replaced shell script by Isabelle/Scala;
2016-10-13 wenzelm 2016-10-13 clarified modules;
2016-10-12 wenzelm 2016-10-12 explicit indication of Admin tools;
2016-10-12 wenzelm 2016-10-12 clarified files;
2016-10-11 wenzelm 2016-10-11 basic setup for Isabelle cronjob;
2016-10-11 wenzelm 2016-10-11 added isabelle remote_dmg tool;
2016-10-09 wenzelm 2016-10-09 support for SSH in Isabelle/Scala;
2016-10-05 wenzelm 2016-10-05 more date and time operations from Java 8;
2016-10-04 wenzelm 2016-10-04 clarified modules;
2016-10-03 wenzelm 2016-10-03 basic setup for Admin/build_history -- outside of Isabelle environment;
2016-10-02 wenzelm 2016-10-02 clarified modules;
2016-10-02 wenzelm 2016-10-02 more formal Mercurial support (with the potential to upgrade to command server);
2016-09-08 wenzelm 2016-09-08 minimal HTTP server;
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-09-04 wenzelm 2016-09-04 clarified modules; tuned signature;
2016-09-03 wenzelm 2016-09-03 minimal support for SQLite databases;
2016-08-13 wenzelm 2016-08-13 statistics from session build output;
2016-08-09 wenzelm 2016-08-09 API for Isabelle Jenkins continuous integration services;
2016-08-09 wenzelm 2016-08-09 support for JSON parsing;
2016-08-04 wenzelm 2016-08-04 clarified modules;
2016-08-04 wenzelm 2016-08-04 clarified modules;
2016-06-11 Lars Hupel 2016-06-11 start moving actual Jenkins build scripts into the repository
2016-04-07 wenzelm 2016-04-07 more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use'; avoid slowdown of Resources.loaded_files due to command name 'use' in Pure base syntax;
2016-04-05 wenzelm 2016-04-05 read Pure file dependencies directly from ROOT.ML;
2016-04-04 wenzelm 2016-04-04 clarified modules;
2016-04-03 wenzelm 2016-04-03 clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
2016-03-15 wenzelm 2016-03-15 clarified modules;
2016-03-10 wenzelm 2016-03-10 clarified modules;
2016-03-10 wenzelm 2016-03-10 clarified files;
2016-03-08 wenzelm 2016-03-08 isabelle console is based on Isabelle/Scala;
2016-03-07 wenzelm 2016-03-07 manage the underlying ML process in Scala;
2016-03-06 wenzelm 2016-03-06 clarified ML syntax for strings concerning UTF8;
2016-03-03 wenzelm 2016-03-03 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
2016-02-28 wenzelm 2016-02-28 more official "isabelle check_sources";
2016-02-28 wenzelm 2016-02-28 obsolete;
2016-02-27 wenzelm 2016-02-27 support for command-line options as in GNU bash;
2016-02-24 wenzelm 2016-02-24 clarified modules;
2016-01-09 wenzelm 2016-01-09 generate HTML version of NEWS, with proper symbol rendering;
2015-12-23 wenzelm 2015-12-23 clarified directory structure;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-10-06 wenzelm 2015-10-06 fewer aliases for toplevel theorem statements;
2015-09-30 wenzelm 2015-09-30 renamed jvmpath to platform_path;
2015-09-30 wenzelm 2015-09-30 clarified modules; more conventional GUI threading;
2015-09-29 wenzelm 2015-09-29 clarified Isabelle_System.init; clarified GUI.init_laf; clarified modules; tuned signature;
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;