.. Ada & SPARK VS Code Extension User's Guide master file, created by
   sphinx-quickstart on Thu Dec 26 19:26:17 2024.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Ada & SPARK VS Code Extension User's Guide
==========================================

.. toctree::
   :maxdepth: 2
   :caption: Contents:


   User's Guide <vscode-ug.md>
   Tutorial: Using Ada in VS Code <Getting-Started.md>
   Refactoring Tools <refactoring_tools.md>
   Tips and Tricks <tips_and_tricks.rst>
   Ada Language Server Settings <settings.md>
   ALS Traces <traces.md>
   Language Server Protocol Extensions <extensions.md>