| Sat, 20 Jan 2024 13:10:51 +0100 |
wenzelm |
more accurate Isabelle versions;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2023 10:57:50 +0100 |
wenzelm |
clarified terminology of "session build database", while "build database" is the one underlying Build_Process;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 18:30:18 +0100 |
wenzelm |
isabelle update -u cite;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2022 15:48:36 +0200 |
wenzelm |
update to Isabelle2022 and Ubuntu 22.04;
|
file |
diff |
annotate
|
| Fri, 01 Jul 2022 16:03:10 +0200 |
wenzelm |
discontinued Isabelle tools implemented as .scala scripts;
|
file |
diff |
annotate
|
| Mon, 21 Mar 2022 11:55:51 +0100 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
| Sun, 27 Feb 2022 20:00:23 +0100 |
wenzelm |
misc tuning based on comments by Heiko Eißfeldt;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 20:44:14 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 22:28:26 +0200 |
wenzelm |
proper example;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
|
| Wed, 19 May 2021 13:00:42 +0200 |
wenzelm |
discontinued obsolete "isabelle latex";
|
file |
diff |
annotate
|
| Tue, 11 May 2021 16:30:24 +0200 |
wenzelm |
clarified platforms;
|
file |
diff |
annotate
|
| Mon, 18 Jan 2021 15:46:35 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Sat, 26 Sep 2020 14:29:46 +0200 |
wenzelm |
discontinued obsolete DVI document format and related settings/tools;
|
file |
diff |
annotate
|
| Fri, 11 Sep 2020 12:17:19 +0200 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 14:33:03 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 14:32:51 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Mon, 30 Mar 2020 19:50:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 21 Mar 2020 16:23:20 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Fri, 29 Jun 2018 16:45:54 +0200 |
wenzelm |
command-line option for include_sessions;
|
file |
diff |
annotate
|
| Wed, 27 Jun 2018 20:31:22 +0200 |
wenzelm |
clarified settings -- avoid hard-wired directories;
|
file |
diff |
annotate
|
| Tue, 26 Jun 2018 19:17:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 21 Jun 2018 12:39:52 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Wed, 06 Jun 2018 14:16:52 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Fri, 25 May 2018 22:47:36 +0200 |
wenzelm |
more examples;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 15:45:45 +0200 |
wenzelm |
clarified store directories;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2018 12:34:52 +0200 |
wenzelm |
prefer explicit 32/64 bit platform settings;
|
file |
diff |
annotate
|
| Mon, 19 Mar 2018 19:24:45 +0100 |
wenzelm |
documentation for the Isabelle server;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Sat, 11 Nov 2017 15:52:07 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 30 Oct 2017 20:09:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 23 Oct 2017 19:30:39 +0200 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
| Sun, 08 Oct 2017 14:48:47 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 04 Oct 2017 12:00:53 +0200 |
wenzelm |
obsolete;
Isabelle2017
|
file |
diff |
annotate
|
| Tue, 03 Oct 2017 17:35:16 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2017 20:13:57 +0200 |
wenzelm |
more and updated documentation;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2017 20:06:26 +0200 |
wenzelm |
more and updated documentation;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2016 15:53:07 +0100 |
wenzelm |
documentation for Isabelle/Scala tools;
|
file |
diff |
annotate
|
| Sun, 02 Oct 2016 17:05:48 +0200 |
wenzelm |
added isabelle_java cold-start executable;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2016 18:26:44 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2016 16:14:22 +0200 |
wenzelm |
clarified bootstrap;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 21:32:57 +0200 |
wenzelm |
clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 22:19:46 +0100 |
wenzelm |
isabelle process -T THEORY;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 22:06:05 +0100 |
wenzelm |
eliminated without magic name;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 21:14:59 +0100 |
wenzelm |
clarified name;
|
file |
diff |
annotate
| base
|