src/Tools/VSCode/extension/README.md
changeset 66689 ef81649ad051
parent 66598 e2671e8c476f
child 67744 5c781dcd5864
--- a/src/Tools/VSCode/extension/README.md	Sat Sep 23 20:09:16 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md	Mon Sep 25 09:46:26 2017 +0200
@@ -1,15 +1,14 @@
 # Isabelle Prover IDE support
 
 This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
-requires Isabelle2017.
+requires an unidentified 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:
 
-  * <http://isabelle.in.tum.de/website-Isabelle2017>
-  * <http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2017/src/Tools/VSCode>
+  * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
   * <https://github.com/Microsoft/language-server-protocol>
 
 
@@ -59,8 +58,8 @@
 
 ### Isabelle/VSCode Installation
 
-  * Download Isabelle2017 from <http://isabelle.in.tum.de> or any of its mirror
-  sites.
+  * Download a recent Isabelle development snapshot from
+  <http://isabelle.in.tum.de/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.
@@ -69,7 +68,7 @@
 
   * Open the VSCode *Extensions* view and install the following:
 
-      + *Isabelle2017* (needs to fit to the underlying Isabelle release).
+      + *Isabelle*.
 
       + *Prettify Symbols Mode* (important for display of Isabelle symbols).
 
@@ -90,17 +89,17 @@
 
       + Linux:
         ```
-        "isabelle.home": "/home/makarius/Isabelle2017"
+        "isabelle.home": "/home/makarius/Isabelle"
         ```
 
       + Mac OS X:
         ```
-        "isabelle.home": "/Users/makarius/Isabelle2017.app/Isabelle"
+        "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle"
         ```
 
       + Windows:
         ```
-        "isabelle.home": "C:\\Users\\makarius\\Isabelle2017"
+        "isabelle.home": "C:\\Users\\makarius\\Isabelle"
         ```
 
   * Restart the VSCode application to ensure that all extensions are properly