Claire Dross 1018c9fd77 Document functional trees in the UG

2025-12-04 14:24:05 +00:00

..

_templates

(no-tn-check) add index to SPARK UG

2022-08-11 08:43:49 +00:00

en

Document functional trees in the UG

2025-12-04 14:24:05 +00:00

static

no-tn-check Fix previous removal of wrong image for UG

2022-11-23 16:37:33 +00:00

table_generator

Add flow limitations

2025-04-28 09:17:29 +00:00

.gitignore

Use Boris' pagefind extension for SPARK doc

2024-10-16 11:27:24 +00:00

conf.py

Remove sources for Japanese UG

2025-10-24 10:33:45 +09:00

gfdl.rst

Add GFDL license

2012-01-12 10:44:34 +01:00

gnatprove_by_example.gpr

Add a section for Best Practices in the UG

2025-07-23 09:08:56 +00:00

index.rst

Remove sources for Japanese UG

2025-10-24 10:33:45 +09:00

make.bat

Initial GNATprove user's guide architecture. This is the document we will

2011-04-04 18:23:13 +02:00

Makefile

Remove sources for Japanese UG

2025-10-24 10:33:45 +09:00

pagefind.yml

Use Boris' pagefind extension for SPARK doc

2024-10-16 11:27:24 +00:00

test.adc

U222-023 fix install of gnatprove_by_example

2021-03-01 10:18:48 +01:00