--- 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
--- 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": {
--- 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": {