simplified README: this is for development version;
authorwenzelm
Sat Sep 02 17:04:24 2017 +0200 (22 months ago)
changeset 66596c5bd8267d832
parent 66595 fa10b0f589c3
child 66597 53dcc7454221
simplified README: this is for development version;
src/Tools/VSCode/README.md
     1.1 --- a/src/Tools/VSCode/README.md	Sat Sep 02 12:55:44 2017 +0200
     1.2 +++ b/src/Tools/VSCode/README.md	Sat Sep 02 17:04:24 2017 +0200
     1.3 @@ -1,23 +1,12 @@
     1.4  # Isabelle/PIDE for Visual Studio Code editor #
     1.5  
     1.6 -* Extension for the editor ([TypeScript](extension/src/extension.ts))
     1.7 -* Language Server protocol implementation ([Isabelle/Scala](src/server.scala))
     1.8 -
     1.9 -
    1.10 -## Run ##
    1.11 -
    1.12 -* Extensions: search for "Isabelle", click "Install"
    1.13 -
    1.14 -* Preferences / User settings / edit settings.json: e.g.
    1.15 -    `"isabelle.home": "/home/makarius/isabelle/repos"`
    1.16 -
    1.17 -* File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
    1.18 -
    1.19 -
    1.20  ## Debug ##
    1.21  
    1.22  * shell> `code src/Tools/VSCode/extension`
    1.23  
    1.24 +* Preferences / User settings / edit settings.json: e.g.
    1.25 +    `"isabelle.home": "/home/makarius/isabelle/repos"`
    1.26 +
    1.27  * View / Debug / Launch Extension
    1.28  
    1.29  * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
    1.30 @@ -28,36 +17,3 @@
    1.31  * shell> `isabelle build_vscode`
    1.32  
    1.33  * Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-X.Y.Z.vsix`
    1.34 -
    1.35 -
    1.36 -## Relevant links ##
    1.37 -
    1.38 -### VSCode editor ###
    1.39 -
    1.40 -* https://code.visualstudio.com
    1.41 -* https://code.visualstudio.com/docs/extensionAPI/extension-points
    1.42 -* https://code.visualstudio.com/docs/extensions/example-language-server
    1.43 -* https://github.com/Microsoft/vscode-languageserver-node-example
    1.44 -* https://github.com/Microsoft/vscode
    1.45 -
    1.46 -
    1.47 -### Protocol ###
    1.48 -
    1.49 -* https://code.visualstudio.com/blogs/2016/06/27/common-language-protocol
    1.50 -* https://github.com/Microsoft/vscode-languageserver-node
    1.51 -* https://github.com/Microsoft/language-server-protocol
    1.52 -* https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md
    1.53 -* http://www.jsonrpc.org/specification
    1.54 -* http://www.json.org
    1.55 -
    1.56 -
    1.57 -### Similar projects ###
    1.58 -
    1.59 -* Lean Prover: https://github.com/leanprover/vscode-lean
    1.60 -* Coq: https://github.com/siegebell/vscoq
    1.61 -* OCaml: https://github.com/freebroccolo/vscode-reasonml
    1.62 -* Scala: https://github.com/dragos/dragos-vscode-scala
    1.63 -* Rust:
    1.64 -    * https://github.com/jonathandturner/rls
    1.65 -    * https://github.com/jonathandturner/rls_vscode
    1.66 -    * https://github.com/RustDT/RustLSP