Claire Dross 1079ac32ac Update legality rules for Iterable

2026-02-06 10:13:15 +00:00

..

_static

Remove deprecated "centered" Sphinx directive from SPARK RM

2021-11-29 15:42:38 +00:00

conf.py

Use Boris' pagefind extension for SPARK doc

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

declarations-and-types.rst

Describe move to constants in the LRM

2026-02-05 15:20:30 +00:00

exceptions.rst

Document that exceptions shall not escape finally section in SPARK

2026-01-21 15:29:17 +00:00

generic-units.rst

Remove deprecated "centered" Sphinx directive from SPARK RM

2021-11-29 15:42:38 +00:00

gfdl.rst

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

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

gfdl.tex

(no-tn-check) replace Altran by Capgemini

2022-01-05 10:41:29 +00:00

glossary.rst

Fix unbalanced parens in SPARK RM

2022-02-04 21:28:11 +00:00

index.rst

(no-tn-check) replace Altran by Capgemini

2022-01-05 10:41:29 +00:00

introduction.rst

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

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

language-defined-aspects-and-attributes.rst

Fix LRM to say that P'Access is supported

2026-02-05 15:21:07 +00:00

language-defined-pragmas.rst

Fix documentation for pragma Compile_Time_Error

2025-11-28 00:04:00 +00:00

lexical-elements.rst

T925-002 Update language version references in SPARK RM and UG

2020-10-01 17:46:33 +02:00

mapping-spec.rst

Fix various typos in documentation

2023-08-16 10:59:56 +00:00

names-and-expressions.rst

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

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

packages.rst

Accept assertion level in the grammar of Abstract_State

2026-01-06 15:22:53 +00:00

program-structure-and-compilation-issues.rst

Remove deprecated "centered" Sphinx directive from SPARK RM

2021-11-29 15:42:38 +00:00

representation-issues.rst

Add additional rules for overlays in the RM

2026-02-05 15:21:54 +00:00

restrictions-and-profiles.rst.wip

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

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

statements.rst

Update legality rules for Iterable

2026-02-06 10:13:15 +00:00

subprograms.rst

Say that immutable discriminants cannot have relaxed initialization

2026-02-05 15:19:44 +00:00

tasks-and-synchronization.rst

Fix various typos in documentation

2023-08-16 10:59:56 +00:00

the-standard-library.rst

Remove an obsolete section about Random Numbers from the RM

2025-05-05 17:45:53 +03:00

todo-summary.rst.wip

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

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

visibility-rules.rst

Remove deprecated "centered" Sphinx directive from SPARK RM

2021-11-29 15:42:38 +00:00