src/Doc/System/Environment.thy
Thu, 15 Jul 2021 22:28:26 +0200 wenzelm proper example;
Thu, 15 Jul 2021 16:35:45 +0200 wenzelm build.props for isabelle.jar, including isabelle.jedit;
Wed, 19 May 2021 13:00:42 +0200 wenzelm discontinued obsolete "isabelle latex";
Tue, 11 May 2021 16:30:24 +0200 wenzelm clarified platforms;
Mon, 18 Jan 2021 15:46:35 +0100 wenzelm updated for release;
Sat, 26 Sep 2020 14:29:46 +0200 wenzelm discontinued obsolete DVI document format and related settings/tools;
Fri, 11 Sep 2020 12:17:19 +0200 wenzelm updated documentation;
Wed, 27 May 2020 14:33:03 +0200 wenzelm tuned whitespace;
Wed, 27 May 2020 14:32:51 +0200 wenzelm more antiquotations;
Mon, 30 Mar 2020 19:50:01 +0200 wenzelm clarified signature;
Sat, 21 Mar 2020 16:23:20 +0100 wenzelm updated for release;
Fri, 01 Mar 2019 21:29:59 +0100 wenzelm system option "system_heaps" supersedes various command-line options for "system build mode";
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Fri, 29 Jun 2018 16:45:54 +0200 wenzelm command-line option for include_sessions;
Wed, 27 Jun 2018 20:31:22 +0200 wenzelm clarified settings -- avoid hard-wired directories;
Tue, 26 Jun 2018 19:17:11 +0200 wenzelm tuned;
Thu, 21 Jun 2018 12:39:52 +0200 wenzelm more documentation;
Wed, 06 Jun 2018 14:16:52 +0200 wenzelm updated for release;
Fri, 25 May 2018 22:47:36 +0200 wenzelm more examples;
Sat, 19 May 2018 15:45:45 +0200 wenzelm clarified store directories;
Thu, 19 Apr 2018 12:34:52 +0200 wenzelm prefer explicit 32/64 bit platform settings;
Mon, 19 Mar 2018 19:24:45 +0100 wenzelm documentation for the Isabelle server;
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Sat, 11 Nov 2017 15:52:07 +0100 wenzelm tuned;
Mon, 30 Oct 2017 20:09:24 +0100 wenzelm tuned;
Mon, 23 Oct 2017 19:30:39 +0200 wenzelm updated to jdk-8u152, which is for x86_64 only;
Sun, 08 Oct 2017 14:48:47 +0200 wenzelm merged
Wed, 04 Oct 2017 12:00:53 +0200 wenzelm obsolete; Isabelle2017
Tue, 03 Oct 2017 17:35:16 +0200 wenzelm updated for release;
Sat, 30 Sep 2017 20:13:57 +0200 wenzelm more and updated documentation;
Sat, 30 Sep 2017 20:06:26 +0200 wenzelm more and updated documentation;
Sun, 20 Nov 2016 15:53:07 +0100 wenzelm documentation for Isabelle/Scala tools;
Sun, 02 Oct 2016 17:05:48 +0200 wenzelm added isabelle_java cold-start executable;
Fri, 12 Aug 2016 17:53:55 +0200 wenzelm more symbols;
Thu, 11 Aug 2016 18:26:44 +0200 wenzelm clarified antiquotations;
Mon, 04 Apr 2016 16:14:22 +0200 wenzelm clarified bootstrap;
Sun, 03 Apr 2016 21:32:57 +0200 wenzelm clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
Fri, 18 Mar 2016 22:19:46 +0100 wenzelm isabelle process -T THEORY;
Wed, 16 Mar 2016 22:06:05 +0100 wenzelm eliminated without magic name;
Wed, 16 Mar 2016 21:14:59 +0100 wenzelm clarified name;
less more (0) tip