back to post-release mode;
authorwenzelm
Mon Sep 25 09:46:26 2017 +0200 (21 months ago)
changeset 66689ef81649ad051
parent 66688 ebb97a834338
child 66690 6953b1a29e19
child 66693 02588021b581
back to post-release mode;
updated package;
src/Tools/VSCode/extension/README.md
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/extension/README.md	Sat Sep 23 20:09:16 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/README.md	Mon Sep 25 09:46:26 2017 +0200
     1.3 @@ -1,15 +1,14 @@
     1.4  # Isabelle Prover IDE support
     1.5  
     1.6  This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
     1.7 -requires Isabelle2017.
     1.8 +requires an unidentified repository version of Isabelle.
     1.9  
    1.10  The implementation is centered around the VSCode Language Server protocol, but
    1.11  with many add-ons that are specific to VSCode and Isabelle/PIDE.
    1.12  
    1.13  See also:
    1.14  
    1.15 -  * <http://isabelle.in.tum.de/website-Isabelle2017>
    1.16 -  * <http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2017/src/Tools/VSCode>
    1.17 +  * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
    1.18    * <https://github.com/Microsoft/language-server-protocol>
    1.19  
    1.20  
    1.21 @@ -59,8 +58,8 @@
    1.22  
    1.23  ### Isabelle/VSCode Installation
    1.24  
    1.25 -  * Download Isabelle2017 from <http://isabelle.in.tum.de> or any of its mirror
    1.26 -  sites.
    1.27 +  * Download a recent Isabelle development snapshot from
    1.28 +  <http://isabelle.in.tum.de/devel/release_snapshot>
    1.29  
    1.30    * Unpack and run the main Isabelle/jEdit application as usual, to ensure that
    1.31    the logic image is built properly and Isabelle works as expected.
    1.32 @@ -69,7 +68,7 @@
    1.33  
    1.34    * Open the VSCode *Extensions* view and install the following:
    1.35  
    1.36 -      + *Isabelle2017* (needs to fit to the underlying Isabelle release).
    1.37 +      + *Isabelle*.
    1.38  
    1.39        + *Prettify Symbols Mode* (important for display of Isabelle symbols).
    1.40  
    1.41 @@ -90,17 +89,17 @@
    1.42  
    1.43        + Linux:
    1.44          ```
    1.45 -        "isabelle.home": "/home/makarius/Isabelle2017"
    1.46 +        "isabelle.home": "/home/makarius/Isabelle"
    1.47          ```
    1.48  
    1.49        + Mac OS X:
    1.50          ```
    1.51 -        "isabelle.home": "/Users/makarius/Isabelle2017.app/Isabelle"
    1.52 +        "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle"
    1.53          ```
    1.54  
    1.55        + Windows:
    1.56          ```
    1.57 -        "isabelle.home": "C:\\Users\\makarius\\Isabelle2017"
    1.58 +        "isabelle.home": "C:\\Users\\makarius\\Isabelle"
    1.59          ```
    1.60  
    1.61    * Restart the VSCode application to ensure that all extensions are properly
     2.1 --- a/src/Tools/VSCode/extension/package.json	Sat Sep 23 20:09:16 2017 +0200
     2.2 +++ b/src/Tools/VSCode/extension/package.json	Mon Sep 25 09:46:26 2017 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  {
     2.5 -    "name": "Isabelle2017",
     2.6 -    "displayName": "Isabelle2017",
     2.7 +    "name": "isabelle",
     2.8 +    "displayName": "Isabelle",
     2.9      "description": "Isabelle Prover IDE",
    2.10      "keywords": [
    2.11          "theorem prover",
    2.12 @@ -10,7 +10,7 @@
    2.13          "document preparation"
    2.14      ],
    2.15      "icon": "isabelle.png",
    2.16 -    "version": "1.0.0",
    2.17 +    "version": "1.1.0",
    2.18      "publisher": "makarius",
    2.19      "license": "MIT",
    2.20      "repository": {