# HG changeset patch
# User wenzelm
# Date 1646249732 -3600
# Node ID bafa8e6431bcea50dccff578bb125a06dc65b82c
# Parent  84532574c2096d88780555d6d9104d7e6660cc07
tuned README;

diff -r 84532574c209 -r bafa8e6431bc src/Tools/VSCode/no_extension/README.md
--- a/src/Tools/VSCode/no_extension/README.md	Wed Mar 02 20:32:16 2022 +0100
+++ b/src/Tools/VSCode/no_extension/README.md	Wed Mar 02 20:35:32 2022 +0100
@@ -4,12 +4,13 @@
 
 Isabelle2021-1 (December 2021) is the last Isabelle release with a separate
 VSCode extension on the public marketplace (see "makarius.Isabelle2021-1").
+
 Starting with Isabelle2022, a fully integrated Isabelle/VSCode with
 corresponding extension is incorporated into the Isabelle distribution.
 
 See also the regular Isabelle webite and its mirrors:
 
-  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
-  Munich (Germany)     https://isabelle.in.tum.de
-  Sydney (Australia)   https://mirror.cse.unsw.edu.au/pub/isabelle
-  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle
+  * Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
+  * Munich (Germany) https://isabelle.in.tum.de
+  * Sydney (Australia) https://mirror.cse.unsw.edu.au/pub/isabelle
+  * Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle
diff -r 84532574c209 -r bafa8e6431bc src/Tools/VSCode/no_extension/package-lock.json
--- a/src/Tools/VSCode/no_extension/package-lock.json	Wed Mar 02 20:32:16 2022 +0100
+++ b/src/Tools/VSCode/no_extension/package-lock.json	Wed Mar 02 20:35:32 2022 +0100
@@ -1,12 +1,12 @@
 {
     "name": "Isabelle",
-    "version": "2.0.0",
+    "version": "2.0.1",
     "lockfileVersion": 2,
     "requires": true,
     "packages": {
         "": {
             "name": "Isabelle",
-            "version": "2.0.0",
+            "version": "2.0.1",
             "hasInstallScript": true,
             "license": "MIT",
             "dependencies": {
diff -r 84532574c209 -r bafa8e6431bc src/Tools/VSCode/no_extension/package.json
--- a/src/Tools/VSCode/no_extension/package.json	Wed Mar 02 20:32:16 2022 +0100
+++ b/src/Tools/VSCode/no_extension/package.json	Wed Mar 02 20:35:32 2022 +0100
@@ -10,7 +10,7 @@
         "document preparation"
     ],
     "icon": "isabelle.png",
-    "version": "2.0.0",
+    "version": "2.0.1",
     "publisher": "makarius",
     "license": "MIT",
     "repository": {