doc(msvc): add instructions on how to get Intellisense working

leodemoura · Feb 6, 2018 · 8019914 · 8019914
1 parent 46cfd33
commit 8019914
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -21,3 +21,4 @@ settings.json
 /*.nix
 /library/init/version.lean
 CMakeSettings.json
+CppProperties.json
diff --git a/doc/make/msvc.md b/doc/make/msvc.md
@@ -29,6 +29,12 @@ In each of the targets, add the following snippet (i.e., after every
 ```
 
 
+## Enable Intellisense
+
+In Visual Studio, press Ctrl+Q and type `CppProperties.json` and press Enter.
+Ensure `includePath` variables include `C:\\path\\to\\lean\\src`.
+
+
 ## Build Lean
 
 Press F7.