# HG changeset patch
# User wenzelm
# Date 1504365712 -7200
# Node ID e2671e8c476f881d0a7671e6ff10387c0201d7eb
# Parent  53dcc7454221cec64ab5affc05a749db6d858ffc
VSCode extension for official Isabelle release;

diff -r 53dcc7454221 -r e2671e8c476f Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Sep 02 17:15:12 2017 +0200
+++ b/Admin/Release/CHECKLIST	Sat Sep 02 17:21:52 2017 +0200
@@ -19,6 +19,10 @@
     src/Tools/jEdit/src/Isabelle.props
     src/Tools/jEdit/src-base/Isabelle_Base.props
 
+- check Isabelle version:
+    src/Tools/VSCode/extension/README.md
+    src/Tools/VSCode/extension/package.json
+
 - check funny base directory, e.g. "Test 中国";
 
 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding
diff -r 53dcc7454221 -r e2671e8c476f src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Sat Sep 02 17:15:12 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md	Sat Sep 02 17:21:52 2017 +0200
@@ -1,16 +1,15 @@
 # Isabelle Prover IDE support
 
-This extension connects VSCode to the Isabelle Prover IDE infrastructure. It
-requires a recent development version of Isabelle from 2017 – one that happens
-to fit to the extension version!
+This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
+requires Isabelle2017.
 
 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/devel/release_snapshot>
-  * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
+  * <http://isabelle.in.tum.de/website-Isabelle2017>
+  * <http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2017/src/Tools/VSCode>
   * <https://github.com/Microsoft/language-server-protocol>
 
 
@@ -60,9 +59,8 @@
 
 ### Isabelle/VSCode Installation
 
-  * Download a recent Isabelle development snapshot from
-  <http://isabelle.in.tum.de/devel/release_snapshot> or the particular version
-  <http://www4.in.tum.de/~wenzelm/Isabelle_01-Jul-2017>
+  * Download Isabelle2017 from <http://isabelle.in.tum.de> 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.
@@ -71,7 +69,7 @@
 
   * Open the VSCode *Extensions* view and install the following:
 
-      + *Isabelle* (e.g. version 0.22).
+      + *Isabelle2017* (needs to fit to the underlying Isabelle release).
 
       + *Prettify Symbols Mode* (important for display of Isabelle symbols).
 
@@ -92,17 +90,17 @@
 
       + Linux:
         ```
-        "isabelle.home": "/home/makarius/Isabelle_01-Jul-2017"
+        "isabelle.home": "/home/makarius/Isabelle2017"
         ```
 
       + Mac OS X:
         ```
-        "isabelle.home": "/Users/makarius/Isabelle_01-Jul-2017.app/Isabelle"
+        "isabelle.home": "/Users/makarius/Isabelle2017.app/Isabelle"
         ```
 
       + Windows:
         ```
-        "isabelle.home": "C:\\Users\\makarius\\Isabelle_01-Jul-2017"
+        "isabelle.home": "C:\\Users\\makarius\\Isabelle2017"
         ```
 
   * Restart the VSCode application to ensure that all extensions are properly
diff -r 53dcc7454221 -r e2671e8c476f src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Sat Sep 02 17:15:12 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Sat Sep 02 17:21:52 2017 +0200
@@ -1,6 +1,6 @@
 {
-    "name": "isabelle",
-    "displayName": "Isabelle",
+    "name": "Isabelle2017",
+    "displayName": "Isabelle2017",
     "description": "Isabelle Prover IDE",
     "keywords": [
         "theorem prover",