| Thu, 29 Dec 2022 12:08:58 +0100 | wenzelm | tuned --- more robust ML patterns; | changeset | files |
| Thu, 29 Dec 2022 11:49:11 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 22:37:46 +0100 | wenzelm | merged | changeset | files |
| Wed, 28 Dec 2022 17:39:34 +0100 | wenzelm | tuned signature, for the sake of AFP/Isabelle_C; | changeset | files |
| Wed, 28 Dec 2022 16:49:43 +0100 | wenzelm | more uniform report of Markup.language_path; | changeset | files |
| Wed, 28 Dec 2022 16:14:37 +0100 | wenzelm | omit pointless guard: ultimately observed by Isabelle_Process.report_message; | changeset | files |
| Wed, 28 Dec 2022 16:13:08 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Dec 2022 16:02:12 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 28 Dec 2022 15:25:37 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 14:52:03 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Dec 2022 14:40:39 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 14:08:00 +0100 | wenzelm | tuned; | changeset | files |
| 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 |