| changeset 75282 | 249e900cc05f |
| parent 75252 | 41dfe941c3da |
| child 76020 | 04ce6cf2bd3b |
--- a/src/Tools/VSCode/etc/settings Tue Mar 15 13:11:53 2022 +0100 +++ b/src/Tools/VSCode/etc/settings Tue Mar 15 13:13:05 2022 +0100 @@ -1,5 +1,5 @@ # -*- shell-script -*- :mode=shellscript: -ISABELLE_VSCODE_VERSION="1.65.0" +ISABELLE_VSCODE_VERSION="1.65.2" ISABELLE_VSCODE_HOME="$ISABELLE_HOME/src/Tools/VSCode" ISABELLE_VSCODE_SETTINGS="$ISABELLE_HOME_USER/vscode"