VSCode extension for official Isabelle release;
authorwenzelm
Sat Sep 02 17:21:52 2017 +0200 (21 months ago)
changeset 66598e2671e8c476f
parent 66597 53dcc7454221
child 66599 34b20f7236ea
VSCode extension for official Isabelle release;
Admin/Release/CHECKLIST
src/Tools/VSCode/extension/README.md
src/Tools/VSCode/extension/package.json
     1.1 --- a/Admin/Release/CHECKLIST	Sat Sep 02 17:15:12 2017 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Sat Sep 02 17:21:52 2017 +0200
     1.3 @@ -19,6 +19,10 @@
     1.4      src/Tools/jEdit/src/Isabelle.props
     1.5      src/Tools/jEdit/src-base/Isabelle_Base.props
     1.6  
     1.7 +- check Isabelle version:
     1.8 +    src/Tools/VSCode/extension/README.md
     1.9 +    src/Tools/VSCode/extension/package.json
    1.10 +
    1.11  - check funny base directory, e.g. "Test 中国";
    1.12  
    1.13  - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding
     2.1 --- a/src/Tools/VSCode/extension/README.md	Sat Sep 02 17:15:12 2017 +0200
     2.2 +++ b/src/Tools/VSCode/extension/README.md	Sat Sep 02 17:21:52 2017 +0200
     2.3 @@ -1,16 +1,15 @@
     2.4  # Isabelle Prover IDE support
     2.5  
     2.6 -This extension connects VSCode to the Isabelle Prover IDE infrastructure. It
     2.7 -requires a recent development version of Isabelle from 2017 – one that happens
     2.8 -to fit to the extension version!
     2.9 +This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
    2.10 +requires Isabelle2017.
    2.11  
    2.12  The implementation is centered around the VSCode Language Server protocol, but
    2.13  with many add-ons that are specific to VSCode and Isabelle/PIDE.
    2.14  
    2.15  See also:
    2.16  
    2.17 -  * <http://isabelle.in.tum.de/devel/release_snapshot>
    2.18 -  * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
    2.19 +  * <http://isabelle.in.tum.de/website-Isabelle2017>
    2.20 +  * <http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2017/src/Tools/VSCode>
    2.21    * <https://github.com/Microsoft/language-server-protocol>
    2.22  
    2.23  
    2.24 @@ -60,9 +59,8 @@
    2.25  
    2.26  ### Isabelle/VSCode Installation
    2.27  
    2.28 -  * Download a recent Isabelle development snapshot from
    2.29 -  <http://isabelle.in.tum.de/devel/release_snapshot> or the particular version
    2.30 -  <http://www4.in.tum.de/~wenzelm/Isabelle_01-Jul-2017>
    2.31 +  * Download Isabelle2017 from <http://isabelle.in.tum.de> or any of its mirror
    2.32 +  sites.
    2.33  
    2.34    * Unpack and run the main Isabelle/jEdit application as usual, to ensure that
    2.35    the logic image is built properly and Isabelle works as expected.
    2.36 @@ -71,7 +69,7 @@
    2.37  
    2.38    * Open the VSCode *Extensions* view and install the following:
    2.39  
    2.40 -      + *Isabelle* (e.g. version 0.22).
    2.41 +      + *Isabelle2017* (needs to fit to the underlying Isabelle release).
    2.42  
    2.43        + *Prettify Symbols Mode* (important for display of Isabelle symbols).
    2.44  
    2.45 @@ -92,17 +90,17 @@
    2.46  
    2.47        + Linux:
    2.48          ```
    2.49 -        "isabelle.home": "/home/makarius/Isabelle_01-Jul-2017"
    2.50 +        "isabelle.home": "/home/makarius/Isabelle2017"
    2.51          ```
    2.52  
    2.53        + Mac OS X:
    2.54          ```
    2.55 -        "isabelle.home": "/Users/makarius/Isabelle_01-Jul-2017.app/Isabelle"
    2.56 +        "isabelle.home": "/Users/makarius/Isabelle2017.app/Isabelle"
    2.57          ```
    2.58  
    2.59        + Windows:
    2.60          ```
    2.61 -        "isabelle.home": "C:\\Users\\makarius\\Isabelle_01-Jul-2017"
    2.62 +        "isabelle.home": "C:\\Users\\makarius\\Isabelle2017"
    2.63          ```
    2.64  
    2.65    * Restart the VSCode application to ensure that all extensions are properly
     3.1 --- a/src/Tools/VSCode/extension/package.json	Sat Sep 02 17:15:12 2017 +0200
     3.2 +++ b/src/Tools/VSCode/extension/package.json	Sat Sep 02 17:21:52 2017 +0200
     3.3 @@ -1,6 +1,6 @@
     3.4  {
     3.5 -    "name": "isabelle",
     3.6 -    "displayName": "Isabelle",
     3.7 +    "name": "Isabelle2017",
     3.8 +    "displayName": "Isabelle2017",
     3.9      "description": "Isabelle Prover IDE",
    3.10      "keywords": [
    3.11          "theorem prover",