CVS difference for ai12s/ai12-0293-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0293-1.txt

--- ai12s/ai12-0293-1.txt	2018/12/05 07:39:08	1.3
+++ ai12s/ai12-0293-1.txt	2018/12/07 07:01:28	1.4
@@ -36,7 +36,7 @@
 
 Add after 13.13.1(1):
 
-   The library package Ada.Streams has the following definition:
+   The library package Ada.Streams has the following declaration:
 
 Add after 13.13.1(9) (the end of the static semantics section):
 
@@ -46,7 +46,7 @@
    interface. The difference is that for Streams.FIFO_Streams.Bounded, the maximum storage is
    bounded.
 
-   The library package Ada.Streams.FIFO_Streams has the following definition:
+   The library package Ada.Streams.FIFO_Streams has the following declaration:
 
       package Ada.Streams.FIFO_Streams
         with Pure, Nonblocking is
@@ -60,7 +60,7 @@
           ... -- not specified by the language
       end Ada.Streams.FIFO_Streams;
 
-   The library package Ada.Streams.FIFO_Streams.Unbounded has the following definition:
+   The library package Ada.Streams.FIFO_Streams.Unbounded has the following declaration:
 
       package Ada.Streams.FIFO_Streams.Unbounded
         with Prelaborated, Nonblocking is
@@ -108,7 +108,7 @@
           ... -- not specified by the language
       end Ada.Streams.FIFO_Streams.Unbounded;
 
-   The library package Ada.Streams.FIFO_Streams.Bounded has the following definition:
+   The library package Ada.Streams.FIFO_Streams.Bounded has the following declaration:
 
      package Ada.Streams.FIFO_Streams.Bounded
         with Pure, Nonblocking is
@@ -198,7 +198,7 @@
 Root_Stream_Type. (User-defined T'Read and T'Write attributes can also make 
 such calls, or can call the Read and Write attributes of other types.) 
 @dinst
-The library package Ada.Streams has the following definition:
+The library package Ada.Streams has the following declaration:
 
 !corrigendum 13.13.1(9)
 
@@ -211,7 +211,7 @@
 packages providing implementations of that interface. The difference is that 
 for Streams.FIFO_Streams.Bounded, the maximum storage is bounded.
 
-The library package Ada.Streams.FIFO_Streams has the following definition:
+The library package Ada.Streams.FIFO_Streams has the following declaration:
 
 @xcode<@b<package> Ada.Streams.FIFO_Streams
    @b<with> Pure, Nonblocking @b<is>>
@@ -228,7 +228,7 @@
 @b<end> Ada.Streams.FIFO_Streams;>
 
 The library package Ada.Streams.FIFO_Streams.Unbounded has the following 
-definition:
+declaration:
 
 @xcode<@b<package> Ada.Streams.FIFO_Streams.Unbounded
    @b<with> Prelaborated, Nonblocking @b<is>>
@@ -274,7 +274,7 @@
 @b<end> Ada.Streams.FIFO_Streams.Unbounded;>
 
 The library package Ada.Streams.FIFO_Streams.Bounded has the following
-definition:
+declaration:
 
 @xcode<@b<package> Ada.Streams.FIFO_Streams.Bounded
    @b<with> Pure, Nonblocking @b<is>>

Questions? Ask the ACAA Technical Agent