changeset 75209 | 4187f6f18232 |
parent 75083 | 35a5c4b16024 |
child 75239 | ef9f9d43b867 |
75208:31c5a22d50ef | 75209:4187f6f18232 |
---|---|
1 # -*- shell-script -*- :mode=shellscript: |
1 # -*- shell-script -*- :mode=shellscript: |
2 |
2 |
3 ISABELLE_VSCODE_VERSION="1.64.2" |
3 ISABELLE_VSCODE_VERSION="1.64.2" |
4 ISABELLE_VSCODE_HOME="$ISABELLE_HOME/src/Tools/VSCode" |
4 ISABELLE_VSCODE_HOME="$ISABELLE_HOME/src/Tools/VSCode" |
5 ISABELLE_VSCODE_SETTINGS="$ISABELLE_HOME_USER/vscode" |
5 ISABELLE_VSCODE_SETTINGS="$ISABELLE_HOME_USER/vscode" |
6 ISABELLE_VSCODE_WORKSPACE="$ISABELLE_VSCODE_SETTINGS/workspace" |