| Mon, 03 Feb 2025 10:46:57 +0100 |
desharna |
added lemmas ex_terminating_rtranclp_strong and ex_terminating_rtranclp
Isabelle2025-RC1
|
file |
diff |
annotate
|
| Mon, 03 Feb 2025 10:04:59 +0100 |
desharna |
added lemma strict_partial_order_wfp_on_finite_set
|
file |
diff |
annotate
|
| Sun, 02 Feb 2025 17:11:45 +0100 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| Sun, 02 Feb 2025 17:05:06 +0100 |
wenzelm |
clarified NEWS: not user-relevant;
|
file |
diff |
annotate
|
| Sun, 02 Feb 2025 14:16:26 +0100 |
wenzelm |
clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2025 22:49:33 +0100 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2025 22:41:05 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2025 22:13:49 +0100 |
wenzelm |
updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2025 18:29:07 +0100 |
Fabian Huch |
more standard: let OS pick random port by default;
|
file |
diff |
annotate
|
| Fri, 31 Jan 2025 23:03:45 +0100 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| Fri, 31 Jan 2025 17:01:52 +0100 |
Lukas Stevens |
merged
|
file |
diff |
annotate
|
| Fri, 31 Jan 2025 16:59:12 +0100 |
Lukas Stevens |
add hook to insert premises in the order solver
|
file |
diff |
annotate
|
| Fri, 31 Jan 2025 16:23:53 +0100 |
wenzelm |
less NEWS (see also afae60d6ff15);
|
file |
diff |
annotate
|
| Wed, 08 Jan 2025 15:19:37 +0100 |
wenzelm |
switch from CVC5 to cvc5, including updates of internal tool references;
|
file |
diff |
annotate
|
| Tue, 28 Jan 2025 07:17:30 +0100 |
haftmann |
typo
|
file |
diff |
annotate
|
| Mon, 27 Jan 2025 21:31:11 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Mon, 27 Jan 2025 12:13:37 +0100 |
wenzelm |
move theory "HOL-Library.Adhoc_Overloading" to Pure;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 10:56:59 +0100 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 10:48:28 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 10:22:17 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Thu, 23 Jan 2025 22:19:30 +0100 |
wenzelm |
support for @{instantiate (no_beta) ...};
|
file |
diff |
annotate
|
| Tue, 21 Jan 2025 17:15:52 +0100 |
Fabian Huch |
clarified find_facts URL;
|
file |
diff |
annotate
|
| Fri, 17 Jan 2025 22:38:15 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2025 09:26:56 +0100 |
haftmann |
theory to rewrite arithmetic operations to bit shifts
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 21:38:38 +0100 |
wenzelm |
clarified solr_data directory, provided via settings;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 14:16:21 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 13:09:42 +0100 |
wenzelm |
more NEWS + CONTRIBUTORS;
|
file |
diff |
annotate
|
| Fri, 10 Jan 2025 15:48:20 +0000 |
paulson |
fixed a typo
|
file |
diff |
annotate
|
| Thu, 09 Jan 2025 10:13:05 +0100 |
haftmann |
corrected
|
file |
diff |
annotate
|
| Mon, 23 Dec 2024 19:38:16 +0100 |
Lukas Bartl |
Rename "suggest_of" to "instantiate"
|
file |
diff |
annotate
|