.. Ada & SPARK extension for VS Code documentation 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 extension for VS Code documentation
===============================================

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

   Tutorial: Using Ada in VS Code <Getting-Started.md>
   refactoring_tools
   settings
   traces
   tips_and_tricks
   Protocol extensions <extensions.md>