| Sat, 31 Dec 2022 14:58:34 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 31 Dec 2022 14:54:20 +0100 | wenzelm | more systematic Sessions.illegal_theory, based on File_Format.theory_excluded; | changeset | files |
| Sat, 31 Dec 2022 12:38:48 +0100 | wenzelm | tuned; | changeset | files |