CVS difference for ais/ai-00415.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00415.txt

--- ais/ai-00415.txt	2005/06/16 23:47:41	1.3
+++ ais/ai-00415.txt	2005/08/05 04:37:37	1.4
@@ -1,4 +1,4 @@
-!standard 4.1       (11)                               05-06-05  AI95-00415/03
+!standard 4.1       (11)                               05-07-09  AI95-00415/04
 !standard 1.2       (03)
 !standard 1.2       (04)
 !standard 1.2       (07)
@@ -7,8 +7,8 @@
 !standard 9.3       (07)
 !standard A.1       (35)
 !class presentation 05-02-07
-!comment This is in the Amendment (AARM), but not yet approved.
 !status Amendment 200Y 05-02-28
+!status ARG Approved 12-0-0  05-06-19
 !status work item 05-02-07
 !status received 05-02-07
 !priority High
@@ -23,7 +23,8 @@
 
 1) "name" should be in the sans-serif font in 4.1(11).
 
-2) "of" should be in the normal font in 3.2(8).
+2) "type of the subtype" and "constraint of the subtype" should be in
+in italics, not just "of". Both terms should be indexed as well.
 
 3) The C, COBOL, and Fortran standards all have been updated. We should
 reference the most recent versions in 1.2.
@@ -51,13 +52,12 @@
 
 2) Italics are usually used to highlight new technical terms that we are
 introducing. We certainly hope that "of" is not a technical term!
-Argubly, "type of a subtype" and "constraint of a subtype" are terms that
-are being defined, but since there are no index entries for any such terms,
-they apparently aren't terms. Thus we just remove the italics.
+"Type of a subtype" and "constraint of a subtype" are terms that
+are being defined. They should be in the index as well.
 
-3), Yes, we should reference the most recent versions of these standards.
+3) Yes, we should reference the most recent versions of these standards.
 
-4), We need to add a reference to a mathematical book. The CRC Concise
+4) We need to add a reference to a mathematical book. The CRC Concise
 Encyclopedia of Mathematics is suggested.
 
 We'll include an AARM note giving the book's ISBN (1584883472) and a web site
@@ -129,9 +129,9 @@
 A @i<subtype> of a given type is a combination of the type,
 a constraint on values of the type, and certain
 attributes specific to the subtype.
-The given type is called the type of the subtype.
+The given type is called the @i<type of the subtype>.
 Similarly, the associated constraint is called the
-constraint of the subtype. The set of values
+@i<constraint of the subtype>. The set of values
 of a subtype consists of the values of its type
 that satisfy its constraint.
 Such values @i<belong> to the subtype.

Questions? Ask the ACAA Technical Agent