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

Differences between 1.16 and version 1.17
Log of other versions for file ai12s/ai12-0111-1.txt

--- ai12s/ai12-0111-1.txt	2018/10/19 05:03:36	1.16
+++ ai12s/ai12-0111-1.txt	2018/10/19 05:59:54	1.17
@@ -4325,7 +4325,7 @@
 (4) For Maps and Sets, moved the definition of the Stable package to the 
 shared part (it's the same for both kinds).
 
-(5) The definition of stablized views had sentences in two different 
+(5) The definition of stabilized views had sentences in two different 
 paragraphs saying that tampering is prohibited. Once is enough, I eliminated
 the extra one. (They even both started with "While a stabilized view 
 exists...")
@@ -4401,13 +4401,13 @@
    change, but that is already possible for any parameter of a mutable record 
    type, and that case is covered by an erroneous execution rule in 3.7.2.
 
-We'd also have to add a rule for stablized views to the same bounded 
+We'd also have to add a rule for stabilized views to the same bounded 
 containers:
 
    * While a stabilized view exists, any operation that tampers with cursors 
      performed on the underlying tree is prohibited. 
 
-since the prinary goal is to make stable views safe for all operations without
+since the primary goal is to make stable views safe for all operations without
 checks, and tampering checks are still needed for bounded containers to 
 prevent iteration from going off into the weeds.
 

Questions? Ask the ACAA Technical Agent