CVS difference for ai05s/ai05-0183-1.txt

Differences between 1.20 and version 1.21
Log of other versions for file ai05s/ai05-0183-1.txt

--- ai05s/ai05-0183-1.txt	2011/03/17 05:21:39	1.20
+++ ai05s/ai05-0183-1.txt	2011/03/17 07:06:29	1.21
@@ -53,7 +53,7 @@
 To support the specification of pre- and postconditions,
-as well as invariants on types and object,
+as well as invariants on types and objects,
 we propose a general notation for specifying "aspects"
 of an entity as part of its declaration, rather than
 with a separate aspect clause.

Questions? Ask the ACAA Technical Agent