# 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