src/Pure/build-jars
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;
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;