| Fri, 14 Oct 2022 14:39:45 +0200 |
nipkow |
new contributor
|
file |
diff |
annotate
|
| Sun, 02 Oct 2022 18:22:49 +0200 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| Fri, 09 Sep 2022 14:47:42 +0200 |
wenzelm |
tuning and updates for release;
|
file |
diff |
annotate
|
| Fri, 02 Sep 2022 23:42:09 +0200 |
wenzelm |
more CONTRIBUTORS + NEWS;
|
file |
diff |
annotate
|
| Mon, 04 Jul 2022 07:57:22 +0000 |
haftmann |
officical abstract characters for code generation
|
file |
diff |
annotate
|
| Mon, 27 Jun 2022 17:36:26 +0200 |
traytel |
tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Sun, 03 Apr 2022 09:07:37 +0000 |
haftmann |
adjusted printing of type annotations to accomodate Scala 3
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 11:27:04 +0200 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| Tue, 29 Mar 2022 15:44:27 +0200 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Tue, 22 Feb 2022 11:53:06 +0100 |
wenzelm |
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
|
file |
diff |
annotate
|
| Fri, 12 Nov 2021 18:47:07 +0100 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 21:06:04 +0100 |
wenzelm |
improved HTML presentation by Fabian Huch;
|
file |
diff |
annotate
|
| Tue, 26 Oct 2021 15:11:40 +0200 |
wenzelm |
more CONTRIBUTORS and NEWS;
|
file |
diff |
annotate
|
| Thu, 07 Oct 2021 22:21:11 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Wed, 06 Oct 2021 14:19:46 +0200 |
eberlm |
new notion of infinite sums in HOL-Analysis, ordering on complex numbers
|
file |
diff |
annotate
|