--- a/src/Tools/VSCode/extension/package.json Fri Feb 25 16:04:37 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json Fri Feb 25 16:08:30 2022 +0100
@@ -11,7 +11,7 @@
],
"icon": "isabelle.png",
"version": "2.0.0",
- "publisher": "isabelle",
+ "publisher": "Isabelle",
"license": "MIT",
"repository": {
"url": "https://isabelle-dev.sketis.net"
--- a/src/Tools/VSCode/src/build_vscode.scala Fri Feb 25 16:04:37 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscode.scala Fri Feb 25 16:08:30 2022 +0100
@@ -31,7 +31,7 @@
/* extension */
def uninstall_extension(progress: Progress = new Progress): Unit =
- progress.bash("isabelle vscode --uninstall-extension isabelle.isabelle").check
+ progress.bash("isabelle vscode --uninstall-extension Isabelle.isabelle").check
def install_extension(vsix_path: Path, progress: Progress = new Progress): Unit =
progress.bash("isabelle vscode --install-extension " +