64605
|
1 |
# Isabelle/PIDE for Visual Studio Code editor #
|
|
2 |
|
|
3 |
* Extension for the editor ([TypeScript](extension/src/extension.ts))
|
|
4 |
* Language Server protocol implementation ([Isabelle/Scala](src/server.scala))
|
|
5 |
|
|
6 |
|
64696
|
7 |
## Run ##
|
64605
|
8 |
|
64757
|
9 |
* Extensions: search for "Isabelle", click "Install"
|
64605
|
10 |
|
|
11 |
* Preferences / User settings / edit settings.json: e.g.
|
|
12 |
`"isabelle.home": "/home/makarius/isabelle/repos"`
|
|
13 |
|
|
14 |
* File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
|
|
15 |
|
|
16 |
|
64696
|
17 |
## Debug ##
|
64605
|
18 |
|
|
19 |
* shell> `code src/Tools/VSCode/extension`
|
|
20 |
|
|
21 |
* View / Debug / Launch Extension
|
|
22 |
|
|
23 |
* File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
|
|
24 |
|
|
25 |
|
64696
|
26 |
## Build ##
|
|
27 |
|
65138
|
28 |
* shell> `isabelle build_vscode`
|
64740
|
29 |
|
65138
|
30 |
* Extensions / ... / Install from VSIX: src/Tools/VSCode/extension/isabelle-X.Y.Z.vsix
|
64696
|
31 |
|
|
32 |
|
64605
|
33 |
## Relevant links ##
|
|
34 |
|
|
35 |
### VSCode editor ###
|
|
36 |
|
|
37 |
* https://code.visualstudio.com
|
|
38 |
* https://code.visualstudio.com/docs/extensionAPI/extension-points
|
|
39 |
* https://code.visualstudio.com/docs/extensions/example-language-server
|
|
40 |
* https://github.com/Microsoft/vscode-languageserver-node-example
|
65060
|
41 |
* https://github.com/Microsoft/vscode
|
64605
|
42 |
|
|
43 |
|
|
44 |
### Protocol ###
|
|
45 |
|
|
46 |
* https://code.visualstudio.com/blogs/2016/06/27/common-language-protocol
|
|
47 |
* https://github.com/Microsoft/vscode-languageserver-node
|
|
48 |
* https://github.com/Microsoft/language-server-protocol
|
|
49 |
* https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md
|
|
50 |
* http://www.jsonrpc.org/specification
|
|
51 |
* http://www.json.org
|
|
52 |
|
|
53 |
|
|
54 |
### Similar projects ###
|
|
55 |
|
65060
|
56 |
* Lean Prover: https://github.com/leanprover/vscode-lean
|
64605
|
57 |
* Coq: https://github.com/siegebell/vscoq
|
|
58 |
* OCaml: https://github.com/freebroccolo/vscode-reasonml
|
|
59 |
* Scala: https://github.com/dragos/dragos-vscode-scala
|
|
60 |
* Rust:
|
|
61 |
* https://github.com/jonathandturner/rls
|
|
62 |
* https://github.com/jonathandturner/rls_vscode
|
|
63 |
* https://github.com/RustDT/RustLSP
|