ada/ada_language_server
0
0
Fork 0
mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00
Code Issues Packages Projects Releases Wiki Activity
4,189 Commits 55 Branches 79 Tags
master
Commit Graph

3 Commits

Author SHA1 Message Date
Maxim Reznik
091f459689 Add Sphinx script to build documentation. 
Fix minor issues in markdown documents and group them im `toctree`
directives. Then use `myst-parser` to parse markdown files.

To build documentation:
* pip install -r doc/requirements.txt
* make -C doc html

Refs #1419
 2025-02-13 21:45:08 +00:00
Maxim Reznik
6db1d761af Add more custom commands for vscode extension 
Closes #1182
 2023-10-10 16:43:52 +03:00
Abdellah Belaid
f6db69ace2 Add GNATtest Integration 
(cherry picked from commit 2249a9ec78)
 2023-08-07 14:08:01 +00:00