[m-rev.] trivial diff: more fixes for library documentation

[Julien Fischer]

Fix some more minor problems with the library documentation.

library/cord.m:
	Delete a doubled up word.

library/term.m:
	s/substitions/substitutions/
	s/occurences/occurrences/

Julien.

Index: cord.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/cord.m,v
retrieving revision 1.2
diff -u -r1.2 cord.m
--- cord.m	15 Mar 2004 23:49:31 -0000	1.2
+++ cord.m	26 Jan 2005 10:55:18 -0000
@@ -9,7 +9,7 @@
 % Ralph Becket <rafe at cs.mu.oz.au>
 % Mon Feb  3 12:27:53 EST 2003
 %
-% A cord is a sequence sequence type supporting O(1) consing and
+% A cord is a sequence type supporting O(1) consing and
 % concatenation.  A cord is essentially a tree structure with data stored
 % in the leaf nodes.  Joining two cords together to construct a new cord
 % is therefore an O(1) operation.
Index: term.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/term.m,v
retrieving revision 1.110
diff -u -r1.110 term.m
--- term.m	24 Jan 2005 23:16:40 -0000	1.110
+++ term.m	26 Jan 2005 10:51:53 -0000
@@ -202,7 +202,7 @@
 	list(term(T))::in, list(term(T))::in, list(term(T))::out) is det.

 	% term__apply_rec_substitution(Term0, Substitution, Term):
-	% Recursively apply substitution to Term0 until no more substitions
+	% Recursively apply substitution to Term0 until no more substitutions
 	% can be applied, and then return the result in Term.
 	%
 :- func term__apply_rec_substitution(term(T), substitution(T)) = term(T).
@@ -244,7 +244,7 @@
 	is semidet.

 	% term__relabel_variable(Term0, OldVar, NewVar, Term):
-	% Replace all occurences of OldVar in Term0 with NewVar and
+	% Replace all occurrences of OldVar in Term0 with NewVar and
 	% put the result in Term.
 	%
 :- func term__relabel_variable(term(T), var(T), var(T)) = term(T).

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------