# HG changeset patch # User wenzelm # Date 1488214680 -3600 # Node ID 98931050065fb43e3601e4fc0872c781e080bf79 # Parent 05f1b53422983f5ed45f83feda8ad63e1f82a8cd more links; diff -r 05f1b5342298 -r 98931050065f src/Tools/VSCode/README.md --- a/src/Tools/VSCode/README.md Mon Feb 27 17:50:29 2017 +0100 +++ b/src/Tools/VSCode/README.md Mon Feb 27 17:58:00 2017 +0100 @@ -42,6 +42,7 @@ * https://code.visualstudio.com/docs/extensionAPI/extension-points * https://code.visualstudio.com/docs/extensions/example-language-server * https://github.com/Microsoft/vscode-languageserver-node-example +* https://github.com/Microsoft/vscode ### Protocol ### @@ -56,6 +57,7 @@ ### Similar projects ### +* Lean Prover: https://github.com/leanprover/vscode-lean * Coq: https://github.com/siegebell/vscoq * OCaml: https://github.com/freebroccolo/vscode-reasonml * Scala: https://github.com/dragos/dragos-vscode-scala