# HG changeset patch
# User wenzelm
# Date 1636739227 -3600
# Node ID 4f1c1c7eb95f4235c4d8c7c8ccfffe21b19437b8
# Parent  c60fa7a116b72d157c77bf7d8ecd4d589322dfe2
back to post-release mode;

diff -r c60fa7a116b7 -r 4f1c1c7eb95f CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Nov 12 18:45:02 2021 +0100
+++ b/CONTRIBUTORS	Fri Nov 12 18:47:07 2021 +0100
@@ -3,6 +3,10 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
+Contributions to this Isabelle version
+--------------------------------------
+
+
 Contributions to Isabelle2021-1
 -------------------------------
 
diff -r c60fa7a116b7 -r 4f1c1c7eb95f NEWS
--- a/NEWS	Fri Nov 12 18:45:02 2021 +0100
+++ b/NEWS	Fri Nov 12 18:47:07 2021 +0100
@@ -4,6 +4,11 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
+New in this Isabelle version
+----------------------------
+
+
+
 New in Isabelle2021-1 (December 2021)
 -------------------------------------
 
diff -r c60fa7a116b7 -r 4f1c1c7eb95f src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Fri Nov 12 18:45:02 2021 +0100
+++ b/src/Tools/VSCode/extension/README.md	Fri Nov 12 18:47:07 2021 +0100
@@ -1,14 +1,15 @@
 # Isabelle Prover IDE support
 
 This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
-requires Isabelle2021-1.
+requires a suitable repository version of Isabelle.
 
 The implementation is centered around the VSCode Language Server protocol, but
 with many add-ons that are specific to VSCode and Isabelle/PIDE.
 
 See also:
 
-  * <https://isabelle.in.tum.de/website-Isabelle2021-1>
+  * <https://isabelle.sketis.net/repos/isabelle/file/tip/src/Tools/VSCode>
+  * <https://github.com/Microsoft/language-server-protocol>
 
 
 ## Screenshot
@@ -57,8 +58,8 @@
 
 ### Isabelle/VSCode Installation
 
-  * Download Isabelle2021-1 from <https://isabelle.in.tum.de/website-Isabelle2021-1>
-  or any of its mirror sites.
+  * Download a recent Isabelle development snapshot from
+    <https://isabelle.sketis.net/devel/release_snapshot>
 
   * Unpack and run the main Isabelle/jEdit application as usual, to ensure that
   the logic image is built properly and Isabelle works as expected.
@@ -88,17 +89,17 @@
 
       + Linux:
         ```
-        "isabelle.home": "/home/makarius/Isabelle2021-1"
+        "isabelle.home": "/home/makarius/Isabelle"
         ```
 
       + Mac OS X:
         ```
-        "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle2021-1"
+        "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle"
         ```
 
       + Windows:
         ```
-        "isabelle.home": "C:\\Users\\makarius\\Isabelle2021-1"
+        "isabelle.home": "C:\\Users\\makarius\\Isabelle"
         ```
 
   * Restart the VSCode application to ensure that all extensions are properly
diff -r c60fa7a116b7 -r 4f1c1c7eb95f src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Nov 12 18:45:02 2021 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Nov 12 18:47:07 2021 +0100
@@ -1,6 +1,6 @@
 {
-    "name": "Isabelle2021-1",
-    "displayName": "Isabelle2021-1",
+    "name": "Isabelle",
+    "displayName": "Isabelle",
     "description": "Isabelle Prover IDE",
     "keywords": [
         "theorem prover",