| Mon, 04 Jul 2022 10:08:10 +0000 |
haftmann |
corrections and adjustions for Scala 3
default tip
|
changeset |
files
|
| Mon, 04 Jul 2022 07:57:23 +0000 |
haftmann |
more complete set of code equations
|
changeset |
files
|
| Mon, 04 Jul 2022 07:57:22 +0000 |
haftmann |
officical abstract characters for code generation
|
changeset |
files
|
| Fri, 01 Jul 2022 20:47:16 +0200 |
wenzelm |
provide components for scala3 (still inactive);
|
changeset |
files
|
| Fri, 01 Jul 2022 20:27:56 +0200 |
wenzelm |
updated download version;
|
changeset |
files
|
| Fri, 01 Jul 2022 19:58:38 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Fri, 01 Jul 2022 19:57:06 +0200 |
wenzelm |
more keywords for scala3;
|
changeset |
files
|
| Fri, 01 Jul 2022 16:03:10 +0200 |
wenzelm |
discontinued Isabelle tools implemented as .scala scripts;
|
changeset |
files
|
| Fri, 01 Jul 2022 11:44:06 +0200 |
desharna |
tuned proofs
|
changeset |
files
|
| Thu, 30 Jun 2022 22:49:47 +0200 |
wenzelm |
clarified heap alignment, to make it potentially more stable on macOS;
|
changeset |
files
|
| ... |
| Sat, 11 Dec 2021 11:24:48 +0100 |
Isabelle2021-1 |
changeset |
changelog |
files
|
| Sat, 20 Feb 2021 13:42:37 +0100 |
Isabelle2021 |
changeset |
changelog |
files
|
| Mon, 13 Apr 2020 22:08:14 +0200 |
Isabelle2020 |
changeset |
changelog |
files
|
| Sat, 01 Jun 2019 11:29:59 +0200 |
Isabelle2019 |
changeset |
changelog |
files
|
| Sun, 12 Aug 2018 14:28:28 +0200 |
Isabelle2018 |
changeset |
changelog |
files
|
| Wed, 04 Oct 2017 12:00:53 +0200 |
Isabelle2017 |
changeset |
changelog |
files
|
| Mon, 12 Dec 2016 11:17:23 +0100 |
Isabelle2016-1 |
changeset |
changelog |
files
|
| Mon, 15 Feb 2016 14:55:44 +0100 |
Isabelle2016 |
changeset |
changelog |
files
|
| Sat, 23 May 2015 17:19:37 +0200 |
Isabelle2015 |
changeset |
changelog |
files
|
| Mon, 18 Aug 2014 12:17:31 +0200 |
Isabelle2014 |
changeset |
changelog |
files
|
| ... |