| Wed, 28 Dec 2022 12:30:18 +0100 | wenzelm | tuned output; | changeset | files |
| Wed, 28 Dec 2022 12:15:25 +0000 | paulson | merged | changeset | files |
| Wed, 28 Dec 2022 12:15:16 +0000 | paulson | Tidied some messy proofs | changeset | files |
| Tue, 27 Dec 2022 22:52:28 +0100 | wenzelm | merged | changeset | files |
| Tue, 27 Dec 2022 22:48:01 +0100 | wenzelm | clarified modules: avoid duplication; | changeset | files |
| Tue, 27 Dec 2022 22:08:31 +0100 | wenzelm | tuned output; | changeset | files |
| Tue, 27 Dec 2022 17:35:01 +0100 | wenzelm | support for generic File_Format.parse_data, with persistent result in document model; | changeset | files |
| Tue, 27 Dec 2022 16:36:00 +0100 | wenzelm | omit warning: somewhat pointless and out-of-context; | changeset | files |
| Tue, 27 Dec 2022 12:15:47 +0100 | wenzelm | clarified signature: avoid case class with mutable state; | changeset | files |
| Tue, 27 Dec 2022 12:00:37 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 27 Dec 2022 11:44:37 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Tue, 27 Dec 2022 10:38:34 +0000 | paulson | merged | changeset | files |
| Tue, 27 Dec 2022 10:37:15 +0000 | paulson | tidied some messy old proofs | changeset | files |
| Mon, 26 Dec 2022 21:28:20 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Dec 2022 19:13:37 +0100 | wenzelm | merged | changeset | files |