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.34
Reading version of 1.34
Modified 2022/06/25 06:14:02 by randy with line changes +1 -0
CVS Tags: HEAD
Differences from 1.33
Added WG 9 approval to all remaining ARG Approved AIs (as per June 22nd WG 9 meeting).

1.33
Reading version of 1.33
Modified 2021/07/09 03:04:38 by randy with line changes +52 -0
CVS Tags: AI220430, AI220127, AI210710
Differences from 1.32
Added missing AI12-0409-1 to RM draft, !corrigendum and editorials.

1.32
Reading version of 1.32
Modified 2021/05/30 00:35:10 by randy with line changes +109 -0
CVS Tags: AI210529
Differences from 1.31
Various Editorial Review changes from the WG 9 reviews.

1.31
Reading version of 1.31
Modified 2021/02/13 04:55:41 by randy with line changes +12 -1
CVS Tags: AI210318
Differences from 1.30
Added a !corrigendum to allow AI12-0399-1 to be more complete.

1.30
Reading version of 1.30
Modified 2020/12/09 06:26:42 by randy with line changes +23 -2
CVS Tags: AI210115
Differences from 1.29
Editorial review fixes.

1.29
Reading version of 1.29
Modified 2020/09/11 22:20:44 by randy with line changes +15 -0
CVS Tags: AI201203, AI201015
Differences from 1.28
Added a !corrigendum section.

1.28
Reading version of 1.28
Modified 2020/08/28 03:25:35 by randy with line changes +4 -4
CVS Tags: AI200903
Differences from 1.27
Some formatting fixes.

1.27
Reading version of 1.27
Modified 2020/08/01 05:40:52 by randy with line changes +8 -42
Differences from 1.26
Added/updated various !corrigendum sections.

1.26
Reading version of 1.26
Modified 2020/05/29 02:18:13 by randy with line changes +4 -4
CVS Tags: AI200610
Differences from 1.25
Updated some preconditions.

1.25
Reading version of 1.25
Modified 2020/04/22 01:00:05 by randy with line changes +1 -1
CVS Tags: AI200427
Differences from 1.24
Various editorial fixes.

1.24
Reading version of 1.24
Modified 2020/03/16 03:37:14 by randy with line changes +39 -0
Differences from 1.23
Various !corrigendum changes and other editorial fixes.

1.23
Reading version of 1.23
Modified 2019/08/17 01:14:43 by randy with line changes +167 -0
CVS Tags: AI200310, AI203010, AI200115, AI191001
Differences from 1.22
Added additional !corrigendum sections (just for conflicts).

1.22
Reading version of 1.22
Modified 2019/07/20 00:59:44 by randy with line changes +153 -0
Differences from 1.21
Added !corrigendum sections for AI12-0339-1, as well as conflicts.

1.21
Reading version of 1.21
Modified 2019/06/11 04:13:53 by randy with line changes +82 -0
CVS Tags: AI190610
Differences from 1.20
Various editorial changes.

1.20
Reading version of 1.20
Modified 2019/05/14 07:05:17 by randy with line changes +41 -0
Differences from 1.19
Various editorials/mail filing.

1.19
Reading version of 1.19
Modified 2019/05/08 02:02:02 by randy with line changes +175 -105
CVS Tags: AI190507
Differences from 1.18
Various mail/minor fixes.

1.18
Reading version of 1.18
Modified 2019/04/12 06:09:23 by randy with line changes +85 -1
Differences from 1.17
Various editorial changes, a few changes from meeting #60F, and more.

1.17
Reading version of 1.17
Modified 2019/04/09 02:01:29 by randy with line changes +23 -18
Differences from 1.16
Various minor changes.

1.16
Reading version of 1.16
Modified 2019/04/06 05:08:49 by randy with line changes +55 -41
CVS Tags: AI190405
Differences from 1.15
Various editorial review changes (most from ARG RM reviews).

1.15
Reading version of 1.15
Modified 2019/02/21 05:29:33 by randy with line changes +185 -67
CVS Tags: AI190222
Differences from 1.14
Various editorial fixes, and work on the Containers clauses.

1.14
Reading version of 1.14
Modified 2019/02/14 05:25:23 by randy with line changes +193 -115
Differences from 1.13
Removed old questions by moving the interesting parts to !discussion. Updated some contracts.

1.13
Reading version of 1.13
Modified 2019/02/07 06:31:29 by randy with line changes +39 -1
CVS Tags: AI190207
Differences from 1.12
Various editorial changes, mail filing, and !corrigendum updates.

1.12
Reading version of 1.12
Modified 2019/01/18 06:26:47 by randy with line changes +1 -1
Differences from 1.11
Various editorials, and !corrigendums.

1.11
Reading version of 1.11
Modified 2019/01/11 08:27:40 by randy with line changes +6 -6
CVS Tags: AI190110
Differences from 1.10
Various minor changes and mail filing.

1.10
Reading version of 1.10
Modified 2019/01/04 05:00:31 by randy with line changes +314 -30
Differences from 1.9
Updated 11.5 and A changes, and added them to the draft RM.

1.9
Reading version of 1.9
Modified 2018/12/14 08:31:30 by randy with line changes +2 -0
Differences from 1.8
Various staus changes, updates, and editorials from meeting #60A and afterwards.

1.8
Reading version of 1.8
Modified 2018/12/07 07:01:27 by randy with line changes +40 -0
CVS Tags: AI181206
Differences from 1.7
Various editorial fixes and mail filing.

1.7
Reading version of 1.7
Modified 2018/07/28 00:35:54 by randy with line changes +26 -3
CVS Tags: 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