CVS difference for ai12s/ai12-0187-1.txt
--- ai12s/ai12-0187-1.txt 2017/12/09 04:48:12 1.10
+++ ai12s/ai12-0187-1.txt 2018/04/05 04:19:25 1.11
@@ -1,4 +1,4 @@
-!standard 7.3.3(0) 17-12-07 AI12-0187-1/07
+!standard 7.3.4(0) 17-12-07 AI12-0187-1/07
!standard 13.1.1(4/3)
!class Amendment 16-06-02
!status Amendment 1-2012 17-11-21
@@ -89,7 +89,7 @@
Add a new clause:
-7.3.3 Stable Properties of a Type
+7.3.4 Stable Properties of a Type
It is usual that some of the characteristics of a data type are unchanged by
most of the primitive operations on the type. Such characteristics are called
@@ -413,7 +413,7 @@
end Ada.Text_IO;
-!corrigendum 7.3.3(0)
+!corrigendum 7.3.4(0)
@dinsc
Questions? Ask the ACAA Technical Agent