CVS difference for ais/ai-00433.txt

--- ais/ai-00433.txt	2005/08/21 06:00:41	1.4
+++ ais/ai-00433.txt	2005/10/31 05:18:44	1.5
@@ -1,4 +1,4 @@
-!standard 1.1.4(9)                                    05-08-09  AI95-00433/04
+!standard 1.1.4(9)                                    05-09-20  AI95-00433/05
 !standard 2.3(8)
 !standard 2.5(5)
 !standard 2.6(9)
@@ -98,8 +98,8 @@
 @xcode<'A'     '*'     '''     ' '>
 @dby
 @xcode<'A'     '*'     '''     ' '
-'L'     '@unicode<1051>'     '@unicode<923>'     --@ft<@i< various els>>
-'@unicode<8734>'     '@unicode<1488>'             --@ft<@i< Big numbers - infinity and aleph>>>
+'L'     '@unicode<1051>'     '@unicode<923>'     --@ft<@i< Various els.>>
+'@unicode<8734>'     '@unicode<1488>'           --@ft<@i< Big numbers - infinity and aleph.>>>
 
 
 !corrigendum 2.6(9)
@@ -350,8 +350,8 @@
 (as shown here), or can be used as a progenitor when a type is derived.
 In either case, the primitive operations of the interface are inherited. For
 Queue, the implementation of the four inherited routines must be provided.
-Inside the call of Transfer, dispatching calls to the implementations of
-Append and Remove_First for type Fast_Food_Queue will be made.
+Inside the call of Transfer, calls will dispatch to the implementations of
+Append and Remove_First for type Fast_Food_Queue.
 
 @i<Example of a task interface:>
 
@@ -562,7 +562,7 @@
    Person : Person_Name; --@ft<@i< see 3.10.1>>
 @b<begin>
    @b<loop>
-      ... --@ft<@i<  simulate arrival of the next customer)>>
+      ... --@ft<@i<  simulate arrival of the next customer>>
       Buffer.Append_Wait(Person);
       @b<exit when> Person = @b<null>;
    @b<end loop>;
@@ -589,7 +589,7 @@
    loop>
       Buffer.Remove_First_Wait(Person);
       @b<exit when> Person = @b<null>;
-      ... --@ft<@i<  simulate serving a customer)>>
+      ... --@ft<@i<  simulate serving a customer>>
    @b<end loop>;
 @b<end> Consumer;>
 
@@ -859,7 +859,7 @@
 @b<with> @b<function> Image(X : Enum) @b<return> String @b<is> Enum'Image;
 @b<with> @b<procedure> Update @b<is> Default_Update;
 @b<with> @b<procedure> Pre_Action(X : @b<in> Item) @b<is null>;  --@ft<@i< defaults to no action>>
-@b<with> @b<procedure> Write(S    : @b<access> Root_Stream_Type'Class;
+@b<with> @b<procedure> Write(S    : @b<not null access> Root_Stream_Type'Class;
                      Desc : Descriptor)
                      @b<is abstract> Descriptor'Write;  --@ft<@i< see 13.13.2>>
 --@ft<@i< Dispatching operation on Descriptor with default>>>
@@ -879,7 +879,7 @@
 
 @i<Example of a generic package with formal package parameters:>
 
-@xcode<@b<with> Ada.Containers.Ordered_Maps; --@ft<@i<  see A.18.6>>
+@xcode<@b<with> Ada.Containers.Ordered_Maps;  --@ft<@i< see A.18.6>>
 @b<generic>
    @b<with package> Mapping_1 @b<is new> Ada.Containers.Ordered_Maps(<@>);
    @b<with package> Mapping_2 @b<is new> Ada.Containers.Ordered_Maps