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

--- ai05s/ai05-0183-1.txt	2009/11/04 06:26:38	1.2
+++ ai05s/ai05-0183-1.txt	2009/12/29 04:54:27	1.3
@@ -1,5 +1,9 @@
-!standard 11.5 (00)                                09-11-01  AI05-0183-1/01
-!standard 11.4.1 (10)
+!standard 3.9.3(1.1/2)                                09-12-28  AI05-0183-1/02
+!standard 6.1(2/2)
+!standard 6.7(2/2)
+!standard 9.5.2(2/2)
+!standard 13.1 (0.1/2)
+!standard 13.3.1 (0)
 !class amendment 09-11-01
 !status work item 09-11-01
 !status received 09-11-01
@@ -91,8 +95,8 @@
       [aspect_specification];
 
 
-[TBD: Should we include package, task, and protected declarations?
-      What about renaming declarations?]
+[TBD: Should we include package, task, and protected declarations? (Yes.)
+      What about renaming declarations? (Yes or justify.)]
 
 At most one occurrence of each aspect is allowed within a single aspect_specification.
 The named aspect must be an aspect that can be specified for the given kind of entity.
@@ -108,6 +112,32 @@
 
 
 !wording
+
+Modify 3.9.3(1.1/2):
+
+  abstract_subprogram_declaration :=
+    subprogram_specification IS ABSTRACT
+      [aspect_specification];
+    
+Modify 6.1(2/2):
+
+  subprogram_declaration ::=
+    [overriding_indicator]
+    subprogram_specification
+      [aspect_specification]
+
+Modify 6.7(2/2):
+
+  null_procedure_declaration ::=
+    procedure_specification IS NULL
+      [aspect_specification];
+
+Modify 9.5.2(2/2):
+
+  entry_declaration ::=
+    [overriding_indicator]
+    ENTRY defining_identifier [(discrete_subtype_definition)] parameter_profile
+      [aspect_specification];
 
 Add the following at the end of 13.1(0.1/1):