updated package;
authorwenzelm
Mon Jan 02 18:08:04 2017 +0100 (2017-01-02)
changeset 647577e3924224769
parent 64756 3cc892bd8f0f
child 64758 3b33d2fc5fc0
child 64759 100941134718
updated package;
src/Tools/VSCode/README.md
src/Tools/VSCode/extension/README.md
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/README.md	Mon Jan 02 17:41:00 2017 +0100
     1.2 +++ b/src/Tools/VSCode/README.md	Mon Jan 02 18:08:04 2017 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  ## Run ##
     1.6  
     1.7 -* Extensions: search "Isabelle 0.1.0", click "Install"
     1.8 +* Extensions: search for "Isabelle", click "Install"
     1.9  
    1.10  * Preferences / User settings / edit settings.json: e.g.
    1.11      `"isabelle.home": "/home/makarius/isabelle/repos"`
     2.1 --- a/src/Tools/VSCode/extension/README.md	Mon Jan 02 17:41:00 2017 +0100
     2.2 +++ b/src/Tools/VSCode/extension/README.md	Mon Jan 02 18:08:04 2017 +0100
     2.3 @@ -1,6 +1,15 @@
     2.4 -# Isabelle language support
     2.5 +# Isabelle Prover IDE support
     2.6 +
     2.7 +This extension connects to the Isabelle Prover IDE infrastructure, using the
     2.8 +VSCode Language Server protocol. This requires a recent development version of
     2.9 +Isabelle from 2017, see also:
    2.10  
    2.11 -This extension provides language support for Isabelle.
    2.12 +  * http://isabelle.in.tum.de/devel
    2.13 +  * http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode
    2.14 +
    2.15  
    2.16 -Make sure that User Settings `isabelle.home` points to the ISABELLE_HOME
    2.17 -directory.
    2.18 +## Important User Settings ##
    2.19 +
    2.20 +  * `isabelle.home` points to the main Isabelle directory (ISABELLE_HOME).
    2.21 +  * `isabelle.cygwin_root` (on Windows) points to the Cygwin installation,
    2.22 +    e.g. ISABELLE_HOME/cygwin for a regular Isabelle application bundle.
     3.1 --- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 17:41:00 2017 +0100
     3.2 +++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 18:08:04 2017 +0100
     3.3 @@ -1,7 +1,7 @@
     3.4  {
     3.5      "name": "isabelle",
     3.6      "displayName": "Isabelle",
     3.7 -    "description": "Isabelle Theorem Prover",
     3.8 +    "description": "Isabelle Prover IDE",
     3.9      "keywords": [
    3.10          "theorem prover",
    3.11          "formalized mathematics",
    3.12 @@ -10,11 +10,11 @@
    3.13          "document preparation"
    3.14          ],
    3.15      "icon": "isabelle.png",
    3.16 -    "version": "0.1.0",
    3.17 +    "version": "0.2.0",
    3.18      "publisher": "makarius",
    3.19      "license": "BSD-3-Clause",
    3.20      "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    3.21 -    "engines": { "vscode": "^1.7.0" },
    3.22 +    "engines": { "vscode": "^1.8.0" },
    3.23      "categories": ["Languages"],
    3.24      "activationEvents": [
    3.25          "onLanguage:isabelle",