CVS log for ai12s/ai12-0112-1.txt

to ai12s/
Request differences between arbitrary revisions
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.

1.7
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.

1.6
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
Minor fixes.

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.

1.4
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.

1.3
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.

1.2
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.

1.1
Reading version of 1.1
Modified 2014/05/17 00:38:41 by randy
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.

Differences between

Questions? Ask the ACAA Technical Agent