src/Pure/build-jars
Mon, 06 Apr 2020 12:53:45 +0200 wenzelm clarified modules;
Sun, 05 Apr 2020 13:05:40 +0200 wenzelm clarified names;
Wed, 26 Feb 2020 14:43:43 +0100 wenzelm proper message passing -- discontinued obsolete auxiliary commands;
Wed, 15 Jan 2020 15:05:33 +0100 wenzelm added "isabelle scala_project" to support e.g. IntelliJ IDEA;
Mon, 13 Jan 2020 12:11:25 +0100 wenzelm tuned messages;
Mon, 13 Jan 2020 12:09:28 +0100 wenzelm tuned;
Sun, 12 Jan 2020 17:53:38 +0100 wenzelm build in $ISABELLE_HOME;
Sat, 11 Jan 2020 17:15:54 +0100 wenzelm clarified fresh build;
Wed, 30 Oct 2019 15:50:57 +0100 wenzelm some support for Phabricator server;
Tue, 29 Oct 2019 18:08:24 +0100 wenzelm specific support for Linux, notably Ubuntu/Debian;
Thu, 12 Sep 2019 14:22:47 +0200 wenzelm discontinued obsolete "isabelle imports" and all_known data;
Mon, 19 Aug 2019 19:31:31 +0200 wenzelm module Thm_Name for Isabelle/Scala;
Thu, 14 Feb 2019 15:46:38 +0100 wenzelm support for RDF/XML representation;
Mon, 31 Dec 2018 13:07:24 +0100 wenzelm update theory sources based on PIDE markup;
Thu, 13 Dec 2018 15:21:34 +0100 wenzelm clarified modules and signature;
Tue, 11 Dec 2018 19:25:35 +0100 wenzelm more uniform multi-language operations;
Sat, 08 Dec 2018 15:13:28 +0100 wenzelm clarified modules;
Wed, 05 Dec 2018 19:42:40 +0100 wenzelm eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
Mon, 03 Dec 2018 20:04:48 +0100 wenzelm more explicit support for Isabelle system components;
Wed, 28 Nov 2018 11:28:02 +0100 wenzelm clarified modules;
Sat, 24 Nov 2018 15:03:42 +0100 wenzelm clarified module name (again);
Fri, 23 Nov 2018 22:55:08 +0100 wenzelm clarified file name;
Thu, 22 Nov 2018 23:11:12 +0100 wenzelm support for construction of Isabelle fonts;
Thu, 22 Nov 2018 17:34:37 +0100 wenzelm support for fontforge and its scripting language;
Thu, 22 Nov 2018 15:47:58 +0100 wenzelm tuned;
Wed, 07 Nov 2018 22:38:38 +0100 wenzelm obsolete;
Wed, 07 Nov 2018 21:42:16 +0100 wenzelm more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
Sun, 21 Oct 2018 18:32:33 +0200 wenzelm eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
Tue, 18 Sep 2018 11:05:14 +0200 wenzelm clarified modules;
Wed, 29 Aug 2018 18:53:58 +0200 wenzelm support Thy_Element in Scala, following ML version;
Sat, 18 Aug 2018 12:41:05 +0200 wenzelm clarified modules;
Fri, 03 Aug 2018 14:08:33 +0200 wenzelm Pure theory content;
Mon, 28 May 2018 22:25:10 +0200 wenzelm support to dump build database produced by PIDE session;
Thu, 24 May 2018 21:13:09 +0200 wenzelm more general cache, also for term substructures;
Sun, 13 May 2018 20:04:59 +0200 wenzelm export foundational theory content in Scala;
Fri, 11 May 2018 11:42:23 +0200 wenzelm removed unused Java FX modules (it will be unbundled from JDK eventually);
Sun, 06 May 2018 23:03:08 +0200 wenzelm store exports in session database, with asynchronous / parallel compression;
Tue, 13 Mar 2018 19:34:42 +0100 wenzelm added server command "session_build": similar to JEdit_Resources.session_build;
Fri, 09 Mar 2018 17:03:10 +0100 wenzelm more general TTY loop;
Thu, 01 Mar 2018 20:05:41 +0100 wenzelm support for CSV files;
Mon, 15 Jan 2018 14:31:57 +0100 wenzelm clarified modules;
Sun, 14 Jan 2018 20:10:11 +0100 wenzelm more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
Sun, 24 Dec 2017 13:07:05 +0100 wenzelm clarified directories;
Fri, 08 Dec 2017 23:43:58 +0100 wenzelm some support for LaTeX;
Sun, 12 Nov 2017 19:42:22 +0100 wenzelm simplified: eliminated pointless Thy_Document_Model;
Sun, 12 Nov 2017 13:19:00 +0100 wenzelm PIDE resources for theory files;
Sat, 11 Nov 2017 14:35:41 +0100 wenzelm converted to Isabelle/Scala;
Mon, 06 Nov 2017 17:21:32 +0100 wenzelm minimal document model for theory files;
Tue, 31 Oct 2017 15:55:50 +0100 wenzelm clarified modules;
Mon, 09 Oct 2017 17:09:08 +0200 wenzelm some administrative support for AFP;
Sun, 08 Oct 2017 14:52:06 +0200 wenzelm build_docker is regular tool (non-admin);
Sat, 05 Aug 2017 20:08:41 +0200 wenzelm support for resident Isabelle servers;
Thu, 29 Jun 2017 11:36:25 +0200 wenzelm HTML GUI actions via JavaScript;
Tue, 20 Jun 2017 17:08:24 +0200 wenzelm clarified modules;
Fri, 16 Jun 2017 21:04:39 +0200 wenzelm clarified modules;
Fri, 16 Jun 2017 16:21:17 +0200 wenzelm support for separate proof state output;
Wed, 31 May 2017 17:25:26 +0200 wenzelm explicit preview request/response;
Tue, 30 May 2017 22:06:39 +0200 wenzelm provide preview content on Scala side (similar to output);
Tue, 09 May 2017 19:57:04 +0200 wenzelm obsolete;
Mon, 08 May 2017 12:04:58 +0200 wenzelm clarified modules;
less more (0) -300 -100 -60 tip