[m-dev.] trivial diff: update dates in HISTORY file

[Fergus Henderson]

Estimated hours taken: 0.25

HISTORY:
	Add dates for release 0.8.1, 0.9, and 0.9.1.

Workspace: /home/hg/fjh/mercury
Index: HISTORY
===================================================================
RCS file: /home/mercury1/repository/mercury/HISTORY,v
retrieving revision 1.16
diff -u -d -r1.16 HISTORY
--- HISTORY	2001/02/05 10:08:41	1.16
+++ HISTORY	2001/02/21 07:49:46
@@ -1193,15 +1193,15 @@
 * Numerous bug fixes.
 
 
-Mercury 0.8.1
--------------
+Mercury 0.8.1, December 16th 1998
+---------------------------------
 
 This release just corrected some bugs in the binary
 distribution for 0.8.
 
 
-Mercury 0.9:
-------------
+Mercury 0.9, December 18th, 1999
+--------------------------------
 
 HIGHLIGHTS
 ==========
@@ -1481,8 +1481,8 @@
 * Numerous bug fixes.
 
 
-Mercury 0.9.1:
--------------
+Mercury 0.9.1, January 26th, 2000
+---------------------------------
 
 This release is primarily a bug-fix release.  
 It fixes some bugs with the binary distribution of 0.9,

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------