# HG changeset patch
# User wenzelm
# Date 1583153823 -3600
# Node ID 4197e30040f3b6391f1d01fae1733ff08f836b5b
# Parent  ae3399b05e9b827c986abb8736b92855a86874d9
VSCode extension for official Isabelle release;

diff -r ae3399b05e9b -r 4197e30040f3 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Mon Mar 02 13:43:52 2020 +0100
+++ b/src/Tools/VSCode/extension/README.md	Mon Mar 02 13:57:03 2020 +0100
@@ -1,14 +1,15 @@
 # Isabelle Prover IDE support
 
 This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
-requires a repository version of Isabelle.
+requires Isabelle2020.
 
 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/repos/isabelle/file/tip/src/Tools/VSCode>
+  * <https://isabelle.in.tum.de/website-Isabelle2020>
+  * <https://isabelle.in.tum.de/repos/isabelle/file/Isabelle2020/src/Tools/VSCode>
   * <https://github.com/Microsoft/language-server-protocol>
 
 
@@ -58,8 +59,8 @@
 
 ### Isabelle/VSCode Installation
 
-  * Download a recent Isabelle development snapshot from
-    <https://isabelle.in.tum.de/devel/release_snapshot>
+  * Download Isabelle2020 from <https://isabelle.in.tum.de/website-Isabelle2020>
+    or any of its mirror sites.
 
   * Unpack and run the main Isabelle/jEdit application as usual, to ensure that
   the logic image is built properly and Isabelle works as expected.
@@ -68,7 +69,7 @@
 
   * Open the VSCode *Extensions* view and install the following:
 
-      + *Isabelle* (needs to fit to the underlying Isabelle release).
+      + *Isabelle2020* (needs to fit to the underlying Isabelle release).
 
       + *Prettify Symbols Mode* (important for display of Isabelle symbols).
 
@@ -89,17 +90,17 @@
 
       + Linux:
         ```
-        "isabelle.home": "/home/makarius/Isabelle"
+        "isabelle.home": "/home/makarius/Isabelle2020"
         ```
 
       + Mac OS X:
         ```
-        "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle"
+        "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle2020"
         ```
 
       + Windows:
         ```
-        "isabelle.home": "C:\\Users\\makarius\\Isabelle"
+        "isabelle.home": "C:\\Users\\makarius\\Isabelle2020"
         ```
 
   * Restart the VSCode application to ensure that all extensions are properly
diff -r ae3399b05e9b -r 4197e30040f3 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Mon Mar 02 13:43:52 2020 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Mar 02 13:57:03 2020 +0100
@@ -1,6 +1,6 @@
 {
-    "name": "Isabelle",
-    "displayName": "Isabelle",
+    "name": "Isabelle2020",
+    "displayName": "Isabelle2020",
     "description": "Isabelle Prover IDE",
     "keywords": [
         "theorem prover",