# HG changeset patch
# User wenzelm
# Date 1645801710 -3600
# Node ID 1011ae2b524c2a746e41c0b1c4e959f1110d33d2
# Parent  ef4ab304cc9425ca5e1b1bc5470211ba48c4742f
clarified extension name (again);

diff -r ef4ab304cc94 -r 1011ae2b524c src/Tools/VSCode/extension/package.json
--- 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"
diff -r ef4ab304cc94 -r 1011ae2b524c src/Tools/VSCode/src/build_vscode.scala
--- 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 " +