CVS difference for ais/ai-00400.txt

--- ais/ai-00400.txt	2005/04/13 05:37:21	1.3
+++ ais/ai-00400.txt	2005/06/16 23:47:39	1.4
@@ -1,4 +1,4 @@
-!standard 3.9(7)                                      05-03-04  AI95-00400/03
+!standard 3.9(7)                                      05-06-01  AI95-00400/04
 !standard 3.9(10)
 !standard 11.4.1(2)
 !standard 11.4.1(5)
@@ -75,18 +75,18 @@
 
 Change 11.4.1(12) to read:
 
-The functions Wide_Wide_Exception_Name return the full expanded name of the
+The Wide_Wide_Exception_Name functions return the full expanded name of the
 exception, in upper case, starting with a root library unit. For an exception
 declared immediately within package Standard, the defining_identifier is
 returned. The result is implementation defined if the exception is declared
 within an unnamed block_statement.
 
-The functions Exception_Name (respectively, Wide_Exception_Name) return the same
-sequence of graphic characters as that defined for Wide_Wide_Exception_Name, if
-all the graphic characters are defined in Character (respectively,
-Wide_Character); otherwise, the sequence of characters is implementation
-defined, but no shorter than that returned by Wide_Wide_Exception_Name for the
-same value of the argument.
+The Exception_Name functions (respectively, Wide_Exception_Name) return the
+same sequence of graphic characters as that defined for
+Wide_Wide_Exception_Name, if all the graphic characters are defined in
+Character (respectively, Wide_Character); otherwise, the sequence of characters
+is implementation defined, but no shorter than that returned by
+Wide_Wide_Exception_Name for the same value of the argument.
 
 Change C.5(7) to read:
 
@@ -214,13 +214,13 @@
 The result is implementation defined if the exception is declared within an
 unnamed @fa<block_statement>.
 @dby
-The functions Wide_Wide_Exception_Name return the full expanded name of the
+The Wide_Wide_Exception_Name functions return the full expanded name of the
 exception, in upper case, starting with a root library unit. For an exception
-declared immediately within package Standard, the defining_identifier is
+declared immediately within package Standard, the @fa<defining_identifier> is
 returned. The result is implementation defined if the exception is declared
 within an unnamed @fa<block_statement>.
 
-The functions Exception_Name (respectively, Wide_Exception_Name) return the
+The Exception_Name functions (respectively, Wide_Exception_Name) return the
 same sequence of graphic characters as that defined for
 Wide_Wide_Exception_Name, if all the graphic characters are defined in
 Character (respectively, Wide_Character); otherwise, the sequence of characters