src/Pure/build-jars
23 months ago wenzelm 2017-08-05 support for resident Isabelle servers;
2017-06-29 wenzelm 2017-06-29 HTML GUI actions via JavaScript;
2017-06-20 wenzelm 2017-06-20 clarified modules;
2017-06-16 wenzelm 2017-06-16 clarified modules;
2017-06-16 wenzelm 2017-06-16 support for separate proof state output;
2017-05-31 wenzelm 2017-05-31 explicit preview request/response; commands, icons, menus like VSCode markdown preview; clarified Uri information (again); tuned;
2017-05-30 wenzelm 2017-05-30 provide preview content on Scala side (similar to output);
2017-05-09 wenzelm 2017-05-09 obsolete;
2017-05-08 wenzelm 2017-05-08 clarified modules;
2017-05-06 wenzelm 2017-05-06 clarified name;
2017-05-05 wenzelm 2017-05-05 legacy version for Jenkins website;
2017-04-30 wenzelm 2017-04-30 clarified modules;
2017-04-23 wenzelm 2017-04-23 clarified tool name -- more official status;
2017-04-19 wenzelm 2017-04-19 wrapper for "isabelle update_imports" with selection options like "isabelle build";
2017-04-13 wenzelm 2017-04-13 clarified directories;
2017-03-18 wenzelm 2017-03-18 more realistic PIDE build session;
2017-03-13 wenzelm 2017-03-13 clarified modules;
2017-03-11 wenzelm 2017-03-11 dynamic output, depending on caret focus (see also Tools/jEdit/src/output_dockable.scala);
2017-03-07 wenzelm 2017-03-07 clarified modules: spell-checker in Pure;
2017-03-07 wenzelm 2017-03-07 added admin tool "isabelle build_vscode";
2017-03-02 wenzelm 2017-03-02 clarified modules;
2017-02-28 wenzelm 2017-02-28 proper Isabelle/Scala tool;
2017-02-09 wenzelm 2017-02-09 clarified modules;
2017-02-08 wenzelm 2017-02-08 general SQL database support, for SQLite and PostgreSQL; tuned;
2017-02-08 wenzelm 2017-02-08 minimal support for PostgreSQL databases;
2017-01-22 wenzelm 2017-01-22 build_jdk in Scala;
2017-01-15 wenzelm 2017-01-15 clarified settings;
2017-01-14 wenzelm 2017-01-14 build docker image from Isabelle application bundle for Linux;
2017-01-11 wenzelm 2017-01-11 generated configuration for Prettify Symbols Mode;
2017-01-01 wenzelm 2017-01-01 generate static TextMate grammar for VSCode editor;
2016-12-29 wenzelm 2016-12-29 watcher for file-system events;
2016-12-28 wenzelm 2016-12-28 clarified modules;
2016-12-21 wenzelm 2016-12-21 clarified directories;
2016-12-20 wenzelm 2016-12-20 clarified module name;
2016-12-20 wenzelm 2016-12-20 more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
2016-12-20 wenzelm 2016-12-20 more systematic text length wrt. encoding;
2016-12-20 wenzelm 2016-12-20 clarified modules;
2016-12-20 wenzelm 2016-12-20 clarified modules;
2016-12-20 wenzelm 2016-12-20 tuned;
2016-12-19 wenzelm 2016-12-19 clarified modules;
2016-12-19 wenzelm 2016-12-19 basic support for VSCode Language Server protocol; minimal extension for VSCode editor;
2016-11-10 wenzelm 2016-11-10 build_polyml in Scala;
2016-10-24 wenzelm 2016-10-24 remove old target: it is on the classpath and may break scalac;
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);