CVS difference for ais/ai-00437.txt

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

--- ais/ai-00437.txt	2005/10/31 05:16:38	1.2
+++ ais/ai-00437.txt	2005/11/16 06:51:18	1.3
@@ -1,4 +1,4 @@
-!standard N         (01)                               05-10-17  AI95-00437/01
+!standard N         (01)                               05-11-15  AI95-00437/02
 !standard N         (03)
 !standard N         (04)
 !standard N         (08)
@@ -64,7 +64,7 @@
 Add after N(4):
 
 Category (of types). A category of types is a set of types with
-one or more common properties, such as their primitive operations. A
+one or more common properties, such as primitive operations. A
 category of types that is closed under derivation is also known as
 a class.
 
@@ -174,7 +174,7 @@
 Subprogram. A subprogram is a section of program that can be executed in
 various contexts. It is invoked by a subprogram call that may qualify the
 effect of the subprogram through the passing of parameters. There are two forms
-of subprograms; functions, which return values, and procedures, which do not.
+of subprograms: functions, which return values, and procedures, which do not.
 
 Replace N(38) by:
 
@@ -191,8 +191,8 @@
 
 Type. Each object has a type. A type has an associated set of values, and a set
 of primitive operations which implement the fundamental aspects of its
-semantics. Types are grouped into categories. Most categories of types form
-classes of types.
+semantics. Types are grouped into categories. Most language-defined categories
+of types are also classes of types.
 
 Replace N(42) by:
 
@@ -237,7 +237,7 @@
 the same type. Components are selected by indexing.
 @dinst
 @b<Category (of types).> A category of types is a set of types with
-one or more common properties, such as their primitive operations. A
+one or more common properties, such as primitive operations. A
 category of types that is closed under derivation is also known as
 a @i<class>.
 
@@ -434,7 +434,7 @@
 @b<Subprogram.> A subprogram is a section of program that can be executed in
 various contexts. It is invoked by a subprogram call that may qualify the
 effect of the subprogram through the passing of parameters. There are two forms
-of subprograms; functions, which return values, and procedures, which do not.
+of subprograms: functions, which return values, and procedures, which do not.
 
 !corrigendum N(38)
 
@@ -464,8 +464,8 @@
 @dby
 @b<Type.> Each object has a @i<type>. A type has an associated set of values,
 and a set of @i<primitive operations> which implement the fundamental aspects
-of its semantics. Types are grouped into @i<categories>. Most categories of
-types form @i<classes> of types.
+of its semantics. Types are grouped into @i<categories>. Most language-defined
+categories of types are also @i<classes> of types.
 
 !corrigendum N(42)
 

Questions? Ask the ACAA Technical Agent