| Fri, 18 Feb 2022 12:20:30 +0100 | wenzelm | NEWS; | changeset | files |
| Fri, 18 Feb 2022 12:18:41 +0100 | wenzelm | run Isabelle/VSCode using local VSCodium installation; | changeset | files |
| Fri, 18 Feb 2022 11:54:43 +0100 | wenzelm | provide macos_exe, based on bin/codium from linux; | changeset | files |
| Fri, 18 Feb 2022 11:34:30 +0100 | wenzelm | clarified options; | changeset | files |
| Thu, 17 Feb 2022 19:42:16 +0000 | haftmann | Avoid overaggresive splitting. | changeset | files |
| Thu, 17 Feb 2022 19:42:15 +0000 | haftmann | more lemmas for distribution | changeset | files |
| Thu, 17 Feb 2022 19:42:15 +0000 | haftmann | Avoid overaggresive simplification. | changeset | files |