back to post-release mode;
authorwenzelm
Sat May 11 19:08:26 2019 +0200 (8 days ago ago)
changeset 70449a8238fd25541
parent 70448 ad0306b89cfb
child 70450 0b813a1a833f
back to post-release mode;
CONTRIBUTORS
NEWS
src/Tools/VSCode/extension/README.md
src/Tools/VSCode/extension/package.json
     1.1 --- a/CONTRIBUTORS	Sat May 11 15:53:11 2019 +0200
     1.2 +++ b/CONTRIBUTORS	Sat May 11 19:08:26 2019 +0200
     1.3 @@ -3,6 +3,10 @@
     1.4  listed as an author in one of the source files of this Isabelle distribution.
     1.5  
     1.6  
     1.7 +Contributions to this Isabelle version
     1.8 +--------------------------------------
     1.9 +
    1.10 +
    1.11  Contributions to Isabelle2019
    1.12  -----------------------------
    1.13  
     2.1 --- a/NEWS	Sat May 11 15:53:11 2019 +0200
     2.2 +++ b/NEWS	Sat May 11 19:08:26 2019 +0200
     2.3 @@ -4,6 +4,10 @@
     2.4  (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
     2.5  
     2.6  
     2.7 +New in this Isabelle version
     2.8 +----------------------------
     2.9 +
    2.10 +
    2.11  New in Isabelle2019 (June 2019)
    2.12  -------------------------------
    2.13  
     3.1 --- a/src/Tools/VSCode/extension/README.md	Sat May 11 15:53:11 2019 +0200
     3.2 +++ b/src/Tools/VSCode/extension/README.md	Sat May 11 19:08:26 2019 +0200
     3.3 @@ -1,15 +1,14 @@
     3.4  # Isabelle Prover IDE support
     3.5  
     3.6  This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
     3.7 -requires Isabelle2019.
     3.8 +requires a repository version of Isabelle.
     3.9  
    3.10  The implementation is centered around the VSCode Language Server protocol, but
    3.11  with many add-ons that are specific to VSCode and Isabelle/PIDE.
    3.12  
    3.13  See also:
    3.14  
    3.15 -  * <https://isabelle.in.tum.de/website-Isabelle2019>
    3.16 -  * <https://isabelle.in.tum.de/repos/isabelle/file/Isabelle2019/src/Tools/VSCode>
    3.17 +  * <https://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
    3.18    * <https://github.com/Microsoft/language-server-protocol>
    3.19  
    3.20  
    3.21 @@ -59,8 +58,8 @@
    3.22  
    3.23  ### Isabelle/VSCode Installation
    3.24  
    3.25 -  * Download Isabelle2019 from <https://isabelle.in.tum.de/website-Isabelle2019>
    3.26 -    or any of its mirror sites.
    3.27 +  * Download a recent Isabelle development snapshot from
    3.28 +    <https://isabelle.in.tum.de/devel/release_snapshot>
    3.29  
    3.30    * Unpack and run the main Isabelle/jEdit application as usual, to ensure that
    3.31    the logic image is built properly and Isabelle works as expected.
    3.32 @@ -69,7 +68,7 @@
    3.33  
    3.34    * Open the VSCode *Extensions* view and install the following:
    3.35  
    3.36 -      + *Isabelle2019* (needs to fit to the underlying Isabelle release).
    3.37 +      + *Isabelle* (needs to fit to the underlying Isabelle release).
    3.38  
    3.39        + *Prettify Symbols Mode* (important for display of Isabelle symbols).
    3.40  
    3.41 @@ -90,17 +89,17 @@
    3.42  
    3.43        + Linux:
    3.44          ```
    3.45 -        "isabelle.home": "/home/makarius/Isabelle2019"
    3.46 +        "isabelle.home": "/home/makarius/Isabelle"
    3.47          ```
    3.48  
    3.49        + Mac OS X:
    3.50          ```
    3.51 -        "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle2019"
    3.52 +        "isabelle.home": "/Users/makarius/Isabelle.app/Isabelle"
    3.53          ```
    3.54  
    3.55        + Windows:
    3.56          ```
    3.57 -        "isabelle.home": "C:\\Users\\makarius\\Isabelle2019"
    3.58 +        "isabelle.home": "C:\\Users\\makarius\\Isabelle"
    3.59          ```
    3.60  
    3.61    * Restart the VSCode application to ensure that all extensions are properly
     4.1 --- a/src/Tools/VSCode/extension/package.json	Sat May 11 15:53:11 2019 +0200
     4.2 +++ b/src/Tools/VSCode/extension/package.json	Sat May 11 19:08:26 2019 +0200
     4.3 @@ -1,6 +1,6 @@
     4.4  {
     4.5 -    "name": "Isabelle2019",
     4.6 -    "displayName": "Isabelle2019",
     4.7 +    "name": "Isabelle",
     4.8 +    "displayName": "Isabelle",
     4.9      "description": "Isabelle Prover IDE",
    4.10      "keywords": [
    4.11          "theorem prover",