# HG changeset patch
# User wenzelm
# Date 1645791510 -3600
# Node ID d65728c611f7819a46dbfc84c4c8279d2def17a7
# Parent  4400eeb6c32de445bf1de50424b0eecf1da01a33
pro-forma update of version, for ongoing development;

diff -r 4400eeb6c32d -r d65728c611f7 src/Tools/VSCode/README.md
--- 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
diff -r 4400eeb6c32d -r d65728c611f7 src/Tools/VSCode/extension/package.json
--- 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": {