dalex78 87a3972451 Correction of typo ...

We have `Unset : constant Node := 0;` which takes the value 0 but the the `Node` type starts at `1`.

2023-03-21 13:01:10 +01:00

..

conf.py

Improve code consistency

2016-02-05 12:10:25 +01:00

conventions.rst

Provide documentation for vectors

2016-02-05 14:17:35 +01:00

design_considerations.rst

Use the new Suppressible assertion policy

2016-08-29 12:19:51 +02:00

elements.rst

Provide documentation for vectors

2016-02-05 14:17:35 +01:00

graph_algorithms.rst

Improve documentation on the general design of this library

2016-01-19 12:10:37 +01:00

graphs.rst

Improve documentation on the general design of this library

2016-01-19 12:10:37 +01:00

index.rst

Document when to use for-in or for-of loops with maps

2016-05-20 17:09:02 +02:00

intro.rst

Improve documentation on the general design of this library

2016-01-19 12:10:37 +01:00

lists.rst

Split bounded lists and vectors into SPARK and Ada implementations

2016-08-30 16:48:09 +02:00

Makefile

Initial documentation

2016-01-18 16:04:41 +01:00

making_of.rst

Correction of typo

2023-03-21 13:01:10 +01:00

maps.rst

Document when to use for-in or for-of loops with maps

2016-05-20 17:09:02 +02:00

vectors.rst

Make Last work for empty vectors

2016-05-20 18:02:37 +02:00