| Sat, 26 Feb 2022 21:59:12 +0100 | wenzelm | some updates to README.md; | changeset | files |
| Sat, 26 Feb 2022 21:58:54 +0100 | wenzelm | clarified default settings; | changeset | files |
| Sat, 26 Feb 2022 21:48:25 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 26 Feb 2022 21:40:53 +0100 | wenzelm | support Isabelle fonts via patch of vscode resources; | changeset | files |