[m-rev.] trivial diff: "date stamp" -> "timestamp"

[Fergus Henderson]

I don't know whether "timestamp" or "time stamp" would be better,
but at least this is consistent...

Estimated hours taken: 0.1

doc/user_guide.texi:
	Be consistent about using the word "timestamp" rather than
	mixing "timestamp" and "date stamp".

Workspace: /home/ceres/fjh/mercury
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.332
diff -u -d -r1.332 user_guide.texi
--- doc/user_guide.texi	22 Oct 2002 04:36:03 -0000	1.332
+++ doc/user_guide.texi	26 Oct 2002 14:12:57 -0000
@@ -200,7 +200,7 @@
 the timestamps on the these files are updated only if their contents change.
 @file{.date}, @file{.date0}, @file{.date3}, @file{.optdate},
 and @file{.trans_opt_date}
-files associated with the module are used as date stamps;
+files associated with the module are used as timestamp files;
 they are used when deciding whether the interface files need to be regenerated.
 
 @file{.c_date}, @file{.il_date}, @file{.java_date},

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------