| Tue, 03 Jan 2023 17:02:41 +0000 | paulson | More tidying of proofs | changeset | files |
| Wed, 04 Jan 2023 13:21:45 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 03 Jan 2023 21:22:24 +0100 | wenzelm | merged | changeset | files |
| Tue, 03 Jan 2023 21:22:04 +0100 | wenzelm | discontinued fragile operation; | changeset | files |
| Tue, 03 Jan 2023 21:18:15 +0100 | wenzelm | more robust operations: avoid somewhat fragile Document.Node.Name.master_dir_path; | changeset | files |
| Tue, 03 Jan 2023 20:46:56 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 03 Jan 2023 20:34:51 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 03 Jan 2023 17:21:24 +0100 | wenzelm | avoid somewhat fragile Document.Node.Name.master_dir_path; | changeset | files |