--- a/src/Tools/VSCode/README.md Fri Feb 25 14:42:38 2022 +0100
+++ b/src/Tools/VSCode/README.md Fri Feb 25 15:01:47 2022 +0100
@@ -19,7 +19,7 @@
* Shell commands within $ISABELLE_HOME directory:
- isabelle vscode --uninstall-extension makarius.Isabelle
+ isabelle build_vscode -U
isabelle vscode src/Tools/VSCode/extension
* VSCode commands:
--- a/src/Tools/VSCode/extension/package-lock.json Fri Feb 25 14:42:38 2022 +0100
+++ b/src/Tools/VSCode/extension/package-lock.json Fri Feb 25 15:01:47 2022 +0100
@@ -1,11 +1,11 @@
{
- "name": "Isabelle",
+ "name": "isabelle-vscode",
"version": "2.0.0",
"lockfileVersion": 2,
"requires": true,
"packages": {
"": {
- "name": "Isabelle",
+ "name": "isabelle-vscode",
"version": "2.0.0",
"license": "MIT",
"dependencies": {
--- a/src/Tools/VSCode/extension/package.json Fri Feb 25 14:42:38 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json Fri Feb 25 15:01:47 2022 +0100
@@ -1,7 +1,7 @@
{
- "name": "Isabelle",
- "displayName": "Isabelle",
- "description": "Isabelle Prover IDE",
+ "name": "isabelle-vscode",
+ "displayName": "Isabelle/VSCode",
+ "description": "Isabelle/VSCode Prover IDE",
"keywords": [
"theorem prover",
"formalized mathematics",
@@ -11,7 +11,7 @@
],
"icon": "isabelle.png",
"version": "2.0.0",
- "publisher": "makarius",
+ "publisher": "isabelle",
"license": "MIT",
"repository": {
"url": "https://isabelle-dev.sketis.net"
--- a/src/Tools/VSCode/src/build_vscode.scala Fri Feb 25 14:42:38 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscode.scala Fri Feb 25 15:01:47 2022 +0100
@@ -31,7 +31,7 @@
/* extension */
def uninstall_extension(progress: Progress = new Progress): Unit =
- progress.bash("isabelle vscode --uninstall-extension makarius.Isabelle").check
+ progress.bash("isabelle vscode --uninstall-extension isabelle.isabelle-vscode").check
def install_extension(vsix_path: Path, progress: Progress = new Progress): Unit =
progress.bash("isabelle vscode --install-extension " +
@@ -48,7 +48,7 @@
progress.bash("npm install && npm update --dev && vsce package",
cwd = extension_dir.file, echo = true).check
- val Pattern = """.*Packaged:.*(Isabelle-.*\.vsix).*""".r
+ val Pattern = """.*Packaged:.*(isabelle-vscode-.*\.vsix).*""".r
result.out_lines.collectFirst(
{ case Pattern(vsix_name) => extension_dir + Path.basic(vsix_name) })
.getOrElse(error("Failed to guess resulting .vsix file name"))