Thu, 03 Mar 2022 16:46:05 +0100 | wenzelm | clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5); | file | diff | annotate |
Wed, 02 Mar 2022 15:57:04 +0100 | Fabian Huch | added documentation for new VSCode modules; | file | diff | annotate |
Tue, 22 Feb 2022 11:53:06 +0100 | wenzelm | various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); | file | diff | annotate |