Vadim Godunko 92ad15b8b1 Remove Project Properties from GNAT Studio ...

This is needed in order to prepare the transition to GPR2.

Project edition should be done by editing the .gpr files now, with
the help of the Ada Language Server.

Documentation and comments have been updated accordingly and tests
checking the Project Properties GUI have been removed.

For eng/ide/gnatstudio#569

2025-10-23 10:17:57 +00:00

..

building.rst

T219-032: Corrections in GS tutorial

2020-02-21 17:35:36 +01:00

callgraph.rst

UA01-023: Fix view's name in tutorial

2021-10-01 11:45:38 +02:00

completion.rst

P601-007 Reword documentation.

2016-06-07 17:28:54 +02:00

conf.py

Reformat code with black.

2024-06-06 12:20:22 +00:00

debug.rst

TA01-009: Update debug section of the tutorial

2020-10-05 12:24:06 +02:00

editing.rst

S910-005: Rename gps into gnatstudio in the documentation

2019-09-12 17:40:05 +02:00

epilogue.rst

S910-005: Rename gps into gnatstudio in the documentation

2019-09-12 17:40:05 +02:00

index.rst

S903-024: Rename gps executable to gnatstudio

2019-09-09 15:05:15 +02:00

intro.rst

Fix minor markup issues in tutorial

2023-06-29 07:29:25 +00:00

locations.rst

T219-032: Corrections in GS tutorial

2020-02-21 17:35:36 +01:00

Makefile

Convert the GPS doc, Tutorial and Programer's Guide to Sphinx

2011-12-08 13:07:15 +00:00

navigating.rst

TC03-052: Fix typos in tutorial

2020-12-10 15:18:45 +01:00

overview.rst

S910-005: Rename gps into gnatstudio in the documentation

2019-09-12 17:40:05 +02:00

projects.rst

Remove Project Properties from GNAT Studio

2025-10-23 10:17:57 +00:00

run.rst

W310-011: Fix a few things in the GS tutorial

2023-03-10 15:11:24 +00:00