Mon, 07 Mar 2022 21:16:12 +0100 | wenzelm | towards UTF-8-Isabelle symbol encoding; | changeset | files |
Mon, 07 Mar 2022 17:18:19 +0100 | wenzelm | updated to VSCode 1.65.0; | changeset | files |
Mon, 07 Mar 2022 16:14:14 +0100 | wenzelm | clarified char symbols: cover most European languages; | changeset | files |