You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
* :url:`Visual Studio Marketplace <https://marketplace.visualstudio.com/items?itemName=AdaCore.ada>`
12
13
* Search for **adacore** in VS Code Extensions (:menu:`Ctrl+Shift+X`)
13
14
14
15
* Make sure GNAT is installed and on your path
15
16
16
-
* If not already downloaded, look here https://github.com/AdaCore/ada_language_server/tree/master/integration/vscode/ada#getting-additional-tools
17
+
* If not already downloaded, look on :url:`GitHub <https://github.com/AdaCore/ada_language_server/tree/master/integration/vscode/ada\#getting-additional-tools>`
17
18
18
19
-----------------------------
19
20
Using VS Code with the Labs
@@ -23,7 +24,7 @@ Using VS Code with the Labs
23
24
24
25
* From a command prompt
25
26
26
-
* Navigate the the appropriate folder (:filename:`prompt` or :filename:`answer`)
27
+
* Navigate to the appropriate folder (:filename:`prompt` or :filename:`answer`)
27
28
* Enter :command:`code .`
28
29
29
30
* :menu:`Explorer` tree should show :filename:`default.gpr` and Ada file(s)
0 commit comments