| Sat, 31 Dec 2022 11:09:19 +0000 | paulson | repaired a proof | changeset | files |
| Fri, 30 Dec 2022 23:21:37 +0000 | paulson | Continued proof simplifications | changeset | files |
| Fri, 30 Dec 2022 20:59:38 +0000 | paulson | merged | changeset | files |
| Fri, 30 Dec 2022 17:48:41 +0000 | paulson | A further round of proof consolidation | changeset | files |
| Fri, 30 Dec 2022 21:27:57 +0100 | wenzelm | tuned signature: avoid too many aliases; | changeset | files |
| Fri, 30 Dec 2022 21:09:50 +0100 | wenzelm | proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI; | changeset | files |
| Fri, 30 Dec 2022 20:38:29 +0100 | wenzelm | more robust: avoid detour via somewhat fragile Node.Name.path; | changeset | files |
| Fri, 30 Dec 2022 20:26:28 +0100 | wenzelm | clarified generic path operations; | changeset | files |