src/Pure/build-jars
2017-11-12 wenzelm simplified: eliminated pointless Thy_Document_Model;
2017-11-12 wenzelm PIDE resources for theory files;
2017-11-11 wenzelm converted to Isabelle/Scala;
2017-11-06 wenzelm minimal document model for theory files;
2017-10-31 wenzelm clarified modules;
2017-10-09 wenzelm some administrative support for AFP;
2017-10-08 wenzelm build_docker is regular tool (non-admin);
2017-08-05 wenzelm support for resident Isabelle servers;
2017-06-29 wenzelm HTML GUI actions via JavaScript;
2017-06-20 wenzelm clarified modules;
2017-06-16 wenzelm clarified modules;
2017-06-16 wenzelm support for separate proof state output;
2017-05-31 wenzelm explicit preview request/response;
2017-05-30 wenzelm provide preview content on Scala side (similar to output);
2017-05-09 wenzelm obsolete;
2017-05-08 wenzelm clarified modules;
2017-05-06 wenzelm clarified name;
2017-05-05 wenzelm legacy version for Jenkins website;
2017-04-30 wenzelm clarified modules;
2017-04-23 wenzelm clarified tool name -- more official status;
2017-04-19 wenzelm wrapper for "isabelle update_imports" with selection options like "isabelle build";
2017-04-13 wenzelm clarified directories;
2017-03-18 wenzelm more realistic PIDE build session;
2017-03-13 wenzelm clarified modules;
2017-03-11 wenzelm dynamic output, depending on caret focus (see also Tools/jEdit/src/output_dockable.scala);
2017-03-07 wenzelm clarified modules: spell-checker in Pure;
2017-03-07 wenzelm added admin tool "isabelle build_vscode";
2017-03-02 wenzelm clarified modules;
2017-02-28 wenzelm proper Isabelle/Scala tool;
2017-02-09 wenzelm clarified modules;
2017-02-08 wenzelm general SQL database support, for SQLite and PostgreSQL;
2017-02-08 wenzelm minimal support for PostgreSQL databases;
2017-01-21 wenzelm build_jdk in Scala;
2017-01-15 wenzelm clarified settings;
2017-01-14 wenzelm build docker image from Isabelle application bundle for Linux;
2017-01-11 wenzelm generated configuration for Prettify Symbols Mode;
2017-01-01 wenzelm generate static TextMate grammar for VSCode editor;
2016-12-29 wenzelm watcher for file-system events;
2016-12-28 wenzelm clarified modules;
2016-12-21 wenzelm clarified directories;
2016-12-20 wenzelm clarified module name;
2016-12-20 wenzelm more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
2016-12-20 wenzelm more systematic text length wrt. encoding;
2016-12-20 wenzelm clarified modules;
2016-12-20 wenzelm clarified modules;
2016-12-20 wenzelm tuned;
2016-12-19 wenzelm clarified modules;
2016-12-19 wenzelm basic support for VSCode Language Server protocol;
2016-11-10 wenzelm build_polyml in Scala;
2016-10-24 wenzelm remove old target: it is on the classpath and may break scalac;
2016-10-24 wenzelm discontinued unused / untested distinction of separate PIDE modules;
2016-10-24 wenzelm proper Admin tool;
2016-10-22 wenzelm regular user tool;
2016-10-19 wenzelm proper isabelle tool in Scala;
2016-10-16 wenzelm support for Non-Uniform Memory Access of separate CPU nodes;
2016-10-13 wenzelm replaced shell script by Isabelle/Scala;
2016-10-13 wenzelm clarified modules;
2016-10-12 wenzelm explicit indication of Admin tools;
2016-10-12 wenzelm clarified files;
2016-10-11 wenzelm basic setup for Isabelle cronjob;
less more (0) -100 -60 tip