CVS difference for ais/ai-00050.txt

--- ais/ai-00050.txt	2000/07/13 04:31:26	1.5
+++ ais/ai-00050.txt	2000/08/01 05:39:32	1.6
@@ -13,20 +13,20 @@
 !summary
 
 Standard_Input, Standard_Output, and Standard_Error are associated with
-three distinct (internal) file objects.  Their association with external
+three distinct (internal) file objects. Their association with external
 files is not specified by the language; in particular, these three
 external files need not be distinct.
 
 !question
 
-A.14(2-3) says:
+A.14(2-3) say:
 
     Operations on one text file object do not affect the column,
     line, and page numbers of any other file object.
 
     Standard_Input and Standard_Output are associated with distinct
     external files, so operations on one of these files cannot affect
-    operations on the other file.  In particular, reading from
+    operations on the other file. In particular, reading from
     Standard_Input does not affect the current page, line, and column
     numbers for Standard_Output, nor does writing to Standard_Output
     affect the current page, line, and column numbers for
@@ -42,19 +42,19 @@
    24  The standard input, standard output, and standard error files are
    different file objects, but not necessarily different external files.
 
-A.10(5-6) also discusses these files:
+A.10(5-6) also discuss these files:
 
    At the beginning of program execution the default input and output files
-   are the so-called standard input file and standard output file.  These files
+   are the so-called standard input file and standard output file. These files
    are open, have respectively the current modes In_File and Out_File, and are
-   associated with two implementation-defined external files.  Procedures are
+   associated with two implementation-defined external files. Procedures are
    provided to change the current default input file and the current default
    output file.
 
    At the beginning of program execution a default file for
    program-dependent error-related text output is the so-called standard error
-   file.  This file is open, has the current mode Out_File, and is associated
-   with an implementation-defined external file.  A procedure is provided to
+   file. This file is open, has the current mode Out_File, and is associated
+   with an implementation-defined external file. A procedure is provided to
    change the current default error file.
 
 !recommendation
@@ -67,20 +67,20 @@
 
 !discussion
 
-The NOTE in A.10.3(25) is correct.  A.10(5-6) doesn't specifically say
-whether the external files are distinct.  In any case, external files
+The NOTE in A.10.3(25) is correct. A.10(5-6) do not specifically say
+whether the external files are distinct. In any case, external files
 are "external" from the point of view of Ada semantics, so it's hard to
 see how one could write a test case that distinguishes whether the
 referenced statement is obeyed by an alleged implementation.
 
 On most operating systems, it is possible for Standard_Input and
-Standard_Output to be associated with the same external file.  This
+Standard_Output to be associated with the same external file. This
 happens by default, when they are both associated with the same terminal
-device.  It can also happen when the user redirects I/O to the same
+device. It can also happen when the user redirects I/O to the same
 file.
 
 It is not clear that A.14(3) is trying to say anything in addition to
-what A.14(2) already says for all text files.  Therefore, A.14(3) should
+what A.14(2) already says for all text files. Therefore, A.14(3) should
 simply be removed.
 
 !corrigendum A.14(03)
@@ -88,7 +88,7 @@
 @ddel
 @xbullet<Standard_Input and Standard_Output are associated with distinct
 external files, so operations on one of these files cannot affect
-operations on the other file.  In particular, reading from
+operations on the other file. In particular, reading from
 Standard_Input does not affect the current page, line, and column
 numbers for Standard_Output, nor does writing to Standard_Output
 affect the current page, line, and column numbers for Standard_Input.>