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

Differences between 1.11 and version 1.12
Log of other versions for file ai12s/ai12-0080-1.txt

--- ai12s/ai12-0080-1.txt	2014/07/15 02:50:51	1.11
+++ ai12s/ai12-0080-1.txt	2014/07/24 04:20:02	1.12
@@ -316,21 +316,21 @@
 !corrigendum N(21.2/3)
 
 @drepl
-Invariant. A invariant is an assertion that is expected to be True for all
+@b<Invariant.> A invariant is an assertion that is expected to be True for all
 objects of a given private type when viewed from outside the defining package.
 @dby
-Invariant. An invariant is an assertion that is expected to be True for all
+@b<Invariant.> An invariant is an assertion that is expected to be True for all
 objects of a given private type when viewed from outside the defining package.
 
 !corrigendum N(41/1)
 
 @dinsa
-Type. Each object has a type. A @i<type> has an associated set of values, and
+@b<Type.> Each object has a type. A @i<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 language-defined
 categories of types are also @i<classes> of types.
 @dby
-Type Invariant. See Invariant.
+@b<Type Invariant.> See Invariant.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent