| Wed, 09 Mar 2022 12:41:40 +0100 | wenzelm | more operations; | changeset | files |
| Wed, 09 Mar 2022 11:29:34 +0100 | wenzelm | tuned comments; | changeset | files |
| 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 |
| Tue, 08 Mar 2022 15:51:18 +0100 | wenzelm | fit into vscode source conventions; | changeset | files |