CVS difference for ais/ai-summary.txt

Differences between 1.99 and version 1.100
Log of other versions for file ais/ai-summary.txt

--- ais/ai-summary.txt	2002/02/20 01:04:09	1.99
+++ ais/ai-summary.txt	2002/03/13 00:48:29	1.100
@@ -321,9 +321,9 @@
     Class: Confirmation                Status: WG9 Approved  98-06-12
     RM References:  A.05.01 (00)  
 
-AI95-00085-01/06   2002-01-02 --  Append_File, Reset and positioning
+AI95-00085-01/07   2002-02-25 --  Append_File, Reset and positioning for Stream_IO
     Priority: High                 Difficulty: Hard
-    Class: Confirmation                Status: Work Item     98-10-09
+    Class: Confirmation                Status: ARG Approved  6-0-1  02-02-12
     RM References:  A.08.02 (16)   A.12.01 (33)  
 
 AI95-00086-01/06   2000-07-07 --  Passing generic formal packages with (<>)
@@ -626,9 +626,9 @@
     Class: Confirmation                Status: No Action      10-0-2  97-11-14
     RM References:  7.06.01 (04)  
 
-AI95-00147-01/08   2002-02-06 --  Optimization of Controlled Types
+AI95-00147-01/10   2002-03-11 --  Optimization of Controlled Types
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     99-04-20
+    Class: Binding Interpretation      Status: Work Item     02-03-11
     RM References:  7.06 (21)  
 
 AI95-00148-01/01   2000-02-14 --  Requeue of protected entry calls
@@ -863,7 +863,7 @@
 
 AI95-00195-01/10   2001-10-17 --  Streams
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Amendment 200Y  02-17-01
+    Class: Binding Interpretation      Status: ARG Approved  6-0-2  01-10-07
     RM References:  8.03 (23)   13.13.01 (09)   13.13.01 (27)   13.13.01 (35)   13.13.01 (36)   13.13.01 (36.1)  
 
 AI95-00196-01/01   2001-10-08 --  Assignment and tag-indeterminate calls with controlling results
@@ -989,7 +989,7 @@
     RM References:  3.10.01 (02)  
     Alternatives:   AI95-00217-01  AI95-00217-02  AI95-00217-04
 
-AI95-00217-04/01   2002-02-06 --  Handling mutually recursive types via separate incomplete types with package sp
+AI95-00217-04/02   2002-03-01 --  Handling mutually recursive types via type stubs with package specifiers
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     02-02-06
     RM References:  3.10.01 (02)  
@@ -1117,7 +1117,7 @@
 
 AI95-00242-01/02   2001-10-18 --  Surprise behavior of Update
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     00-10-04
+    Class: Binding Interpretation      Status: ARG Approved  4-0-2  02-02-11
     RM References:  B.03.01 (50)  
 
 AI95-00243-01/01   2000-10-04 --  Is a subunit of a subunit of L also a subunit of L?
@@ -1135,17 +1135,17 @@
     Class: Confirmation                Status: Work Item     00-10-30
     RM References:  10.01.04 (07)  
 
-AI95-00246-01/03   2001-10-18 --  View conversions between arrays of a by-reference type
+AI95-00246-01/04   2002-02-22 --  View conversions between arrays of a by-reference type
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     00-10-31
-    RM References:  4.06 (12)  
+    Class: Binding Interpretation      Status: ARG Approved  6-0-0  02-02-12
+    RM References:  4.06 (12)   4.06 (09)  
 
-AI95-00247-01/01   2002-01-02 --  Alignment of composite types
+AI95-00247-01/01   2002-02-12 --  Alignment of composite types
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     00-11-01
+    Class: Binding Interpretation      Status: ARG Approved  5-0-2  02-02-12
     RM References:  13.03 (26)  
 
-AI95-00248-01/04   2002-01-02 --  Directory Operations
+AI95-00248-01/05   2002-03-11 --  Directory Operations
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     00-11-28
     RM References:  A.15 (00)  
@@ -1175,9 +1175,9 @@
     Class: Binding Interpretation      Status: WG9 Approved  01-10-05
     RM References:  C.03.01 (08)  
 
-AI95-00254-01/02   2002-01-23 --  Downward closures for access to subprogram types
+AI95-00254-01/03   2002-02-25 --  Downward closures for access to subprogram types
     Priority: Low                  Difficulty: Hard
-    Class: Amendment                   Status: Work Item     01-08-29
+    Class: Amendment                   Status: ARG Approved  5-0-2  02-02-11
     RM References:  3.10 (11)  
 
 AI95-00255-01/02   2001-08-31 --  Object renaming of subcomponents of generic in out objects
@@ -1185,10 +1185,10 @@
     Class: Binding Interpretation      Status: Work Item     01-02-09
     RM References:  8.05.01 (05)   12.04 (09)  
 
-AI95-00256-01/03   2001-03-22 --  Various wording changes to the standard
+AI95-00256-01/04   2002-03-06 --  Various wording changes to the standard
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     01-02-12
-    RM References:  13.11.01 (01)   A.12.01 (30)   G.02.02 (03)   7.06.01 (16)  
+    RM References:  13.11.01 (01)   A.12.01 (30)   G.02.02 (03)   7.06.01 (16)   7.04 (09)  
 
 AI95-00257-01/03   2001-10-18 --  Restrictions for implementation-defined entities
     Priority: Low                  Difficulty: Easy
@@ -1205,9 +1205,9 @@
     Class: Ramification                Status: Received      01-02-12
     RM References:  C.06 (20)  
 
-AI95-00260-01/02   2002-01-04 --  How to control the tag representation in a stream
+AI95-00260-01/03   2002-02-25 --  How to control the tag representation in a stream
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     01-06-02
+    Class: Amendment                   Status: ARG Approved  7-0-0  02-02-11
     RM References:  13.13.02 (31)   13.13.02 (34)  
 
 AI95-00261-01/01   2001-02-15 --  Extending enumeration types
@@ -1215,9 +1215,9 @@
     Class: Amendment                   Status: Work Item     01-02-15
     RM References:  13.13.02 (31)   13.13.02 (34)  
 
-AI95-00262-01/02   2001-06-04 --  Access to private units in the private part
+AI95-00262-01/03   2002-02-25 --  Access to private units in the private part
     Priority: Medium               Difficulty: Hard
-    Class: Amendment                   Status: Work Item     01-02-15
+    Class: Amendment                   Status: ARG Approved  7-0-0  02-02-11
     RM References:  10.01.02 (04)   10.01.02 (08)  
 
 AI95-00263-01/01   2001-02-23 --  Scalar formal derived types are never static
@@ -1235,7 +1235,7 @@
     Class: Amendment                   Status: Work Item     01-05-10
     RM References:  D.02.02 (5)   D.07 (00)  
 
-AI95-00266-01/03   2002-02-05 --  Task Termination procedure
+AI95-00266-01/05   2002-03-09 --  Task Termination procedure
     Priority: High                 Difficulty: Medium
     Class: Amendment                   Status: Work Item     01-05-10
     RM References:  D.02.02 (5)   D.07 (00)  
@@ -1267,12 +1267,12 @@
 
 AI95-00272-01/01   2002-01-23 --  Pragma Atomic and slices
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     02-01-23
+    Class: Binding Interpretation      Status: ARG Approved  6-0-0  02-02-12
     RM References:  C.06 (07)  
 
 AI95-00273-01/01   2002-02-08 --  Use of PCS should not be normative
     Priority: Low                  Difficulty: Hard
-    Class: Amendment                   Status: Work Item     02-02-08
+    Class: Amendment                   Status: ARG Approved  7-0-0  02-02-10
     RM References:  E.05 (01)  
 
 AI95-00274-01/00   2001-09-19 --  Requiring complete record representation clauses
@@ -1297,7 +1297,7 @@
 
 AI95-00278-01/01   2001-10-17 --  Task Entry without Accept Statement
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     01-10-17
+    Class: Amendment                   Status: No Action     02-02-10
     RM References:  9.05.02 (27)  
 
 AI95-00279-01/01   2001-12-21 --  Tag read by T'Class'Input
@@ -1312,7 +1312,7 @@
 
 AI95-00281-01/01   2001-12-26 --  Representation of enumeration type image attribute
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     01-12-26
+    Class: Amendment                   Status: No Action     02-02-10
     RM References:  13.04 (04)  
 
 AI95-00282-01/01   2001-12-26 --  Ada unit information symbols
@@ -1326,7 +1326,7 @@
     RM References:  A.12.01 (28)   A.08.02 (10)   A.08.02 (16)  
 
 AI95-00284-01/01   2002-01-23 --  Nonreserved words
-    Priority: Medium               Difficulty: Hard
+    Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     02-01-23
     RM References:  2.09 (02)  
 
@@ -1335,7 +1335,7 @@
     Class: Amendment                   Status: Received      02-01-15
     RM References:  A.03.02 (49)  
 
-AI95-00286-01/01   2002-02-05 --  Assert pragmas and invariants
+AI95-00286-01/02   2002-03-08 --  Assert pragma
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     02-02-05
     RM References:  11.05 (00)   11.04.01 (10)  
@@ -1344,4 +1344,9 @@
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Received      02-02-06
     RM References:  7.05 (00)  
+
+AI95-00288-01/01   2002-03-08 --  Pre/Postconditions and Invariants
+    Priority: Medium               Difficulty: Medium
+    Class: Amendment                   Status: Work Item     02-02-05
+    RM References:  11.05 (00)   11.04.01 (10)  
 

Questions? Ask the ACAA Technical Agent