CVS difference for ai05s/ai05-0084-1.txt

--- ai05s/ai05-0084-1.txt	2008/03/07 06:15:19	1.2
+++ ai05s/ai05-0084-1.txt	2008/05/10 05:14:33	1.3
@@ -1,4 +1,4 @@
-!standard A.18.2(6/2)                                           08-02-26    AI05-0084-1/02
+!standard A.18.2(6/2)                                           08-04-18    AI05-0084-1/03
 !standard A.18.3(5/2)
 !standard A.18.5(2/2)
 !standard A.18.6(2/2)
@@ -61,6 +61,8 @@
 However, this is much less convenient for the Annex E user than
 making them full-fledged remote types packages.
 
+We also fix the third is in A.18.5(2/2) to be in bold, as it is a reserved word.
+
 !corrigendum A.18.2(6/2)
 
 @drepl
@@ -118,7 +120,7 @@
    @b<with function> Equivalent_Keys (Left, Right : Key_Type)
       @b<return> Boolean;
    @b<with function> "=" (Left, Right : Element_Type)
-      @b<return> Boolean is <@>;
+      @b<return> Boolean @b<is> <@>;
 @b<package> Ada.Containers.Hashed_Maps @b<is>
    @b<pragma> Preelaborate(Hashed_Maps);
    @b<pragma> Remote_Types(Hashed_Maps);>