| Thu, 10 Mar 2022 12:28:20 +0100 | wenzelm | prefer yarn over npm; | changeset | files |
| Thu, 10 Mar 2022 12:03:39 +0100 | wenzelm | more accurate .hgignore; | changeset | files |
| Thu, 10 Mar 2022 11:56:38 +0100 | wenzelm | clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode; | changeset | files |
| Wed, 09 Mar 2022 23:05:07 +0100 | wenzelm | tuned messages; | changeset | files |