src/Pure/build-jars
20 months ago wenzelm 2018-11-22 support for fontforge and its scripting language;
20 months ago wenzelm 2018-11-22 tuned;
21 months ago wenzelm 2018-11-07 obsolete;
21 months ago wenzelm 2018-11-07 more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
22 months ago wenzelm 2018-10-21 eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting; eliminated "isabelle news"; roper title in NEWS.html; more robust build of documentation, using proper Other_Isabelle settings: avoid conflict with enclosing ISABELLE_OCAML / ISABELLE_GHC; misc tuning and clarification;
23 months ago wenzelm 2018-09-18 clarified modules;
23 months ago wenzelm 2018-08-29 support Thy_Element in Scala, following ML version;
24 months ago wenzelm 2018-08-18 clarified modules;
2018-08-03 wenzelm 2018-08-03 Pure theory content;
2018-05-28 wenzelm 2018-05-28 support to dump build database produced by PIDE session;
2018-05-24 wenzelm 2018-05-24 more general cache, also for term substructures;
2018-05-13 wenzelm 2018-05-13 export foundational theory content in Scala;
2018-05-11 wenzelm 2018-05-11 removed unused Java FX modules (it will be unbundled from JDK eventually);
2018-05-06 wenzelm 2018-05-06 store exports in session database, with asynchronous / parallel compression;
2018-03-13 wenzelm 2018-03-13 added server command "session_build": similar to JEdit_Resources.session_build;
2018-03-09 wenzelm 2018-03-09 more general TTY loop;
2018-03-01 wenzelm 2018-03-01 support for CSV files;
2018-01-15 wenzelm 2018-01-15 clarified modules; more operations;
2018-01-14 wenzelm 2018-01-14 more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
2017-12-24 wenzelm 2017-12-24 clarified directories;
2017-12-08 wenzelm 2017-12-08 some support for LaTeX;
2017-11-12 wenzelm 2017-11-12 simplified: eliminated pointless Thy_Document_Model;
2017-11-12 wenzelm 2017-11-12 PIDE resources for theory files;
2017-11-11 wenzelm 2017-11-11 converted to Isabelle/Scala;
2017-11-06 wenzelm 2017-11-06 minimal document model for theory files;
2017-10-31 wenzelm 2017-10-31 clarified modules;
2017-10-09 wenzelm 2017-10-09 some administrative support for AFP;
2017-10-08 wenzelm 2017-10-08 build_docker is regular tool (non-admin);
2017-08-05 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;