| Thu, 18 Apr 2024 13:06:48 +0200 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| Thu, 18 Apr 2024 13:07:34 +0100 |
paulson |
Acknowledgement of Ata Keskin for his Martingales material
|
file |
diff |
annotate
|
| Fri, 05 Apr 2024 17:10:02 +0200 |
Simon Wimmer |
Add entry on Sketch_and_Explore to CONTRIBUTORS
|
file |
diff |
annotate
|
| Thu, 04 Apr 2024 15:29:41 +0200 |
Manuel Eberl |
moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 21:25:35 +0100 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 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
|