| Wed, 09 Mar 2022 11:29:34 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Wed, 09 Mar 2022 11:20:16 +0100 | wenzelm | patch VSCode source tree to support isabelle_encoding.ts; | file | diff | annotate |
| Tue, 08 Mar 2022 17:09:09 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |