CVS difference for ais/ai-00388.txt

Differences between 1.2 and version 1.3
Log of other versions for file ais/ai-00388.txt

--- ais/ai-00388.txt	2004/11/14 06:37:21	1.2
+++ ais/ai-00388.txt	2004/12/09 19:55:38	1.3
@@ -1,5 +1,7 @@
-!standard A.5(3)                                    04-11-10  AI95-00388/01
+!standard A.5(3)                                    04-12-01  AI95-00388/02
 !class amendment 04-11-10
+!status Amendment 200Y 04-12-01
+!status ARG Approved 8-1-1  04-11-19
 !status work item 04-11-10
 !status received 04-11-10
 !priority Medium
@@ -8,7 +10,7 @@
 
 !summary
 
-(See Proposal.)
+(See proposal.)
 
 !problem
 
@@ -30,7 +32,6 @@
 Adding Greek pi to Ada.Numerics is a compatible change because there is
 currently no code that uses that character as an identifier.
 
-
 !proposal
 
 Add the following declaration to Ada.Numerics:
@@ -44,7 +45,6 @@
 However, there are already occurrences of this character in the RM, so it
 shouldn't be a problem to make it look nice and fancy in the final text.>>
 
-
 !wording
 
 Replace A.5(3) by:
@@ -57,19 +57,20 @@
     e  : constant := 2.718...;
 end Ada.Numerics;
 
-
 !discussion
 
-See proposal.
+(See proposal.)
 
 !example
 
+No example is needed.
 
 --!corrigendum
 
 !ACATS test
 
-ACATS tests need to be constructed to check the existence of this declaration.
+An ACATS test needs to be constructed to check the existence of this
+declaration.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent