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

Differences between 1.11 and version 1.12
Log of other versions for file ai05s/ai05-0176-1.txt

--- ai05s/ai05-0176-1.txt	2010/04/17 04:50:16	1.11
+++ ai05s/ai05-0176-1.txt	2010/05/20 06:38:00	1.12
@@ -1,5 +1,4 @@
-!standard 2.9(2/2)                                  10-04-12  AI05-0176-1/06
-!standard 3.3(19)
+!standard 1.1.4(12)                                    10-04-12  AI05-0176-1/06
 !standard 4.4(7)
 !standard 4.5.9(0)
 !class Amendment 09-10-28
@@ -1103,7 +1102,7 @@
 Sent: Tuesday, November 17, 2009  6:34 AM
 
 > Actually, we do have the mathematical symbols to draw on. Pi got its
-> nose in the tent for Ada 2005, Perhaps we could adopt ∀ and ∃
+> nose in the tent for Ada 2005, Perhaps we could adopt ? and ?
 > directly.
 
 Tee hee, someone rose to the bait!
@@ -1869,7 +1868,8 @@
 > or "any boolean type" as for conditions in if-statements.
 
 That would be fine too.
-As I mentioned in an earlier reply to Randy, I prefer your original rule but I don't feel strongly about it.
+As I mentioned in an earlier reply to Randy, I prefer your original rule but I don't
+feel strongly about it.
 
 ...
 >> Still, an expression whose type is known independently of the context
@@ -2273,7 +2273,8 @@
 Sent: Wednesday, February 24, 2010  2:55 PM
 
 Is this Bob Duff I or Bob Duff II?
-I thought you just sent out a note agreeing the predicate should be expected to be of any boolean type, and the quantified expression should be that same type.
+I thought you just sent out a note agreeing the predicate should be expected
+to be of any boolean type, and the quantified expression should be that same type.
 
 Implicit converting to Standard.Boolean
 seems of little value, and if someone has gone to the effort of using a

Questions? Ask the ACAA Technical Agent