CVS log for ai12s/ai12-0112-1.txt
Note: The reading versions are automatically formatted from the original
source files, which contain no formatting. As such, they reflect a program's
guess about the meaning of the contents of the source file, which cannot be
accurate in all circumstances. The purpose of these versions is to make the
files easier to read in normal circumstances; the formatting was created as
a service to the Ada community by volunteers. If the format of the reading
contains unacceptable errors, please refer to the regular unformatted version.
As we cannot change the contents of the original source files, and it is
impractical to build a formatter that can properly format largely unstructured
text in all circumstances, please do not send comments on the quality of the
formatting, use the regular raw version instead. The reading versions will
be removed entirely if this guidance is not followed.
Reading version of 1.7
Modified 2018/07/28 00:35:54
by randy with line changes +26 -3
CVS Tags: HEAD, AI181018
Differences from 1.6
Added uses of Allows_Exit aspect and associated discussion.
Reading version of 1.6
Modified 2018/04/14 05:01:05
by randy with line changes +10 -12
CVS Tags: AI180615
Differences from 1.5
Reading version of 1.5
Modified 2018/03/30 05:52:07
by randy with line changes +250 -43
CVS Tags: AI180330
Differences from 1.4
Various minor updates, and added contracts to Indefinite_Holders.
Reading version of 1.4
Modified 2018/03/02 02:14:10
by randy with line changes +760 -321
CVS Tags: AI180301
Differences from 1.3
A revision using the state of the dependent AIs to this point.
Reading version of 1.3
Modified 2018/01/18 20:36:46
by randy with line changes +49 -0
CVS Tags: AI180127
Differences from 1.2
Various mail filing.
Reading version of 1.2
Modified 2017/04/21 05:43:52
by randy with line changes +204 -0
CVS Tags: AI171011, AI170815, AI170612
Differences from 1.1
Various edits and e-mail filing.
Reading version of 1.1
Modified 2014/05/17 00:38:41
CVS Tags: AI161006, AI160815, A160607, AI160420, AI151015, AI150620, AI150325, AI150225, AI141013, AI140625
Created prototype of preconditions for containers.
This form allows you to request differences between any
two revisions of a file, by number or by tag.
Questions? Ask the ACAA Technical Agent