| 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
|