| Wed, 09 Mar 2022 11:20:16 +0100 | wenzelm | patch VSCode source tree to support isabelle_encoding.ts; | changeset | files |
| Tue, 08 Mar 2022 21:40:16 +0100 | wenzelm | more robust, pass "yarn valid-layers-check"; | changeset | files |
| Tue, 08 Mar 2022 17:09:09 +0100 | wenzelm | clarified directories; | changeset | files |
| Tue, 08 Mar 2022 17:02:24 +0100 | wenzelm | patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet; | changeset | files |