src/Pure/build-jars
15 months ago wenzelm 2019-02-14 support for RDF/XML representation;
17 months ago wenzelm 2018-12-31 update theory sources based on PIDE markup;
17 months ago wenzelm 2018-12-13 clarified modules and signature;
17 months ago wenzelm 2018-12-11 more uniform multi-language operations;
18 months ago wenzelm 2018-12-08 clarified modules;
18 months ago wenzelm 2018-12-05 eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala; more robust components and classpath via Other_Isabelle; updated macos_app to include full dmg template; misc tuning and clarification;
18 months ago wenzelm 2018-12-03 more explicit support for Isabelle system components; activate_bundled_components: check component dir as in makedist_bundle;
18 months ago wenzelm 2018-11-28 clarified modules;
18 months ago wenzelm 2018-11-24 clarified module name (again);
18 months ago wenzelm 2018-11-23 clarified file name;
18 months ago wenzelm 2018-11-22 support for construction of Isabelle fonts;
18 months ago wenzelm 2018-11-22 support for fontforge and its scripting language;
18 months ago wenzelm 2018-11-22 tuned;
19 months ago wenzelm 2018-11-07 obsolete;
19 months ago wenzelm 2018-11-07 more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
19 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;
20 months ago wenzelm 2018-09-18 clarified modules;
21 months ago wenzelm 2018-08-29 support Thy_Element in Scala, following ML version;
21 months ago wenzelm 2018-08-18 clarified modules;
22 months ago 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;