| Fri, 21 Mar 2025 18:37:05 +0100 |
wenzelm |
support for writeln_urgent, which is shown in Output before state messages (reminiscent of old Output.urgent_message before 521cea5fa777);
|
changeset |
files
|
| Fri, 21 Mar 2025 16:42:20 +0100 |
desharna |
merged
|
changeset |
files
|
| Fri, 21 Mar 2025 15:20:13 +0100 |
desharna |
tuned proof
|
changeset |
files
|
| Fri, 21 Mar 2025 14:21:44 +0100 |
desharna |
added lemma trans_on_diff_Id
|
changeset |
files
|
| Fri, 21 Mar 2025 14:35:11 +0100 |
Fabian Huch |
proper deletion: use facet fields that are not tokenized;
|
changeset |
files
|
| Fri, 21 Mar 2025 10:48:48 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 21 Mar 2025 10:45:56 +0000 |
paulson |
New theorems, mostly from the number theory project
|
changeset |
files
|
| Thu, 20 Mar 2025 12:39:47 +0100 |
wenzelm |
ZGC of Java 21 is enabled by default: now possible, because Windows Server 2012 (vmnipkow9) has been discontinued;
|
changeset |
files
|
| Wed, 19 Mar 2025 22:18:52 +0000 |
paulson |
tidied old proofs
|
changeset |
files
|
| Tue, 18 Mar 2025 21:39:42 +0000 |
paulson |
merged
|
changeset |
files
|
| Tue, 18 Mar 2025 21:39:29 +0000 |
paulson |
tidying old proofs
|
changeset |
files
|
| Tue, 18 Mar 2025 19:35:14 +0100 |
wenzelm |
merged
|
changeset |
files
|