Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pro-forma update of version, for ongoing development;
authorwenzelm
Fri, 25 Feb 2022 13:18:30 +0100
changeset 75141 d65728c611f7
parent 75140 4400eeb6c32d
child 75142 58f92263495e
pro-forma update of version, for ongoing development;
src/Tools/VSCode/README.md file | annotate | diff | comparison | revisions
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/README.md	Fri Feb 25 13:15:27 2022 +0100
+++ b/src/Tools/VSCode/README.md	Fri Feb 25 13:18:30 2022 +0100
@@ -32,4 +32,4 @@
 * Shell commands within $ISABELLE_HOME directory:
 
     isabelle build_vscode
-    isabelle vscode --install-extension src/Tools/VSCode/extension/isabelle-1.2.2.vsix
+    isabelle vscode --install-extension src/Tools/VSCode/extension/isabelle-2.0.0.vsix
--- a/src/Tools/VSCode/extension/package.json	Fri Feb 25 13:15:27 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Feb 25 13:18:30 2022 +0100
@@ -10,7 +10,7 @@
         "document preparation"
     ],
     "icon": "isabelle.png",
-    "version": "1.2.2",
+    "version": "2.0.0",
     "publisher": "makarius",
     "license": "MIT",
     "repository": {
isabelle