Piotr Trojanek 97d801e93a Fix marking up flow developer's guide ...

Markup was confused by * appearing in plain text.

2024-12-19 15:08:43 +01:00

..

.gitignore

Q801-006 initial commit for developer guide

2017-08-02 05:08:18 +02:00

conf.py

fix all pre-commit violations in spark2014 repo

2023-09-20 09:36:25 +00:00

counterexamples.rst

Remove gitlab url from spark2014 repo

2024-11-24 23:34:33 +00:00

flow_analysis.rst

Fix marking up flow developer's guide

2024-12-19 15:08:43 +01:00

gg.rst

describe GG in developer doc

2019-12-17 09:24:58 +01:00

gnatwhy3.rst

Remove support for manual proof through Why3 in SPARK

2023-10-12 07:25:21 +00:00

gps_integration.rst

T918-001, T928-006 Move to Sphinx 3.2

2020-10-15 11:48:52 +02:00

index.rst

Remove support for manual proof through Why3 in SPARK

2023-10-12 07:25:21 +00:00

legality_checking.rst

S311-004 Add marking phase to developer doc

2019-03-18 11:32:25 +01:00

make.bat

Q801-006 initial commit for developer guide

2017-08-02 05:08:18 +02:00

Makefile

Q801-006 initial commit for developer guide

2017-08-02 05:08:18 +02:00

miscellaneous.rst

Fix misspelling of developer

2021-11-07 04:42:41 +13:00

tool_interaction.rst

Remove support for manual proof through Why3 in SPARK

2023-10-12 07:25:21 +00:00

tool_structure.rst

Use environment variables to pass socket and semaphore name to other executables

2024-07-19 09:19:34 +00:00

translation_why3.rst

Update description of the move tree in the devel guide

2024-07-01 14:54:31 +02:00