Piotr Trojanek 2fed57a436 Tune markup in description of Exceptional_Cases and Exit_Cases ...

Adjust style in description of Exceptional_Cases and Exit_Cases to match the
style of other, previously added aspects; remove reference to "pragma" copied
from the GNAT RM.

2025-01-10 16:09:00 +01:00

..

architecture

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

booklet

fix all pre-commit violations in spark2014 repo

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

case_study

fix all pre-commit violations in spark2014 repo

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

develguide

Fix marking up flow developer's guide

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

flow

UA26-010 enforce python styles via flake8 and black

2021-12-16 10:26:01 +09:00

guidance

Fix spelling of functions with(out) "side effects"

2023-11-20 08:13:19 +00:00

lrm

Tune markup in description of Exceptional_Cases and Exit_Cases

2025-01-10 16:09:00 +01:00

marketing

Minor addition of text for Systematic competitiveness cluster

2014-04-03 16:24:57 +02:00

papers

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

shared

Use Boris' pagefind extension for SPARK doc

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

sphinx_support

Use Boris' pagefind extension for SPARK doc

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

ug

Document warning switches in the UG

2025-01-07 09:17:39 +00:00