CVS log for ais/ai-00424.txt

to ais/

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.

AI updates from the Porto WG 9 and ARG meetings.

Various changes from editorial command and from informal comments from NBs.

Various editorial and technical corrections.

Various editorial corrections from the ARG review, and various mail filed.

AI corrections based on AARM comments, to be approved (or changed) at the York ARG meeting.

Status change from ARG meeting in Burlington.

Created AI.