| Thu, 24 Feb 2022 11:25:09 +0000 | haftmann | simp rules for negative numerals | changeset | files |
| Wed, 23 Feb 2022 23:24:26 +0100 | Fabian Huch | updated vscode extension: proper recoding; | changeset | files |
| Wed, 23 Feb 2022 23:17:39 +0100 | Fabian Huch | tuned vscode extension; | changeset | files |
| Wed, 23 Feb 2022 22:12:00 +0100 | Fabian Huch | tuned vscode extension: split isabelle fsp into workspace and mapping; | changeset | files |