| Mon, 25 Mar 2024 14:08:25 +0100 |
nipkow |
documented running time function framework by Jonas Stahl
|
file |
diff |
annotate
|
| Wed, 20 Mar 2024 16:05:15 +0100 |
Manuel Eberl |
more general definition of meromorphicity; Weierstraß factorisation theorem
|
file |
diff |
annotate
|
| Thu, 14 Mar 2024 11:03:23 +0100 |
wenzelm |
update NEWS + CONTRIBUTORS for release;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 20:58:11 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Thu, 26 Oct 2023 17:53:22 +0200 |
Fabian Huch |
NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
| Sun, 27 Aug 2023 19:14:04 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sun, 27 Aug 2023 15:28:48 +0200 |
wenzelm |
minimal documentation for build cluster support;
|
file |
diff |
annotate
|
| Thu, 10 Aug 2023 23:11:52 +0200 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 11:39:43 +0200 |
wenzelm |
update for release;
|
file |
diff |
annotate
|
| Mon, 19 Jun 2023 22:28:09 +0200 |
Mathias Fleury |
early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals;
|
file |
diff |
annotate
|
| Wed, 07 Jun 2023 13:02:40 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 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
|
| Thu, 07 Oct 2021 10:34:48 +0200 |
desharna |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 14:02:11 +0200 |
wenzelm |
more NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 20:28:30 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 10:47:42 +0200 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|