for review: update HISTORY and NEWS

[Simon Taylor]

Any objections?


Estimated hours taken: 0.1

HISTORY:
	Add news for 0.7.2, 0.7.3, 0.8.
	Minor formatting changes.

NEWS:
	Now empty
	

Index: HISTORY
===================================================================
RCS file: /home/staff/zs/imp/mercury/HISTORY,v
retrieving revision 1.12
diff -u -t -u -r1.12 HISTORY
--- HISTORY	1998/02/11 16:56:46	1.12
+++ HISTORY	1998/12/02 01:59:57
@@ -40,7 +40,7 @@
 
 
 Mercury 0.3, 18 July 1995
------------
+-------------------------
 The first public release.
 Better type error messages.
 Better determinism error messages.
@@ -89,6 +89,7 @@
 * `list__sort/2' has been renamed as `list__sort_and_remove_dups/2'.
 * There is a new `list__sort/2' which does not remove duplicates.
 
+
 Mercury 0.5, 15 Febuary 1996
 ----------------------------
 
@@ -150,6 +151,7 @@
   used those parts of `std_util', you may need to add `import_module'
   declarations to import `assoc_list' and/or `bool'.
 
+
 Mercury 0.6, 2 August 1996
 --------------------------
 
@@ -380,6 +382,7 @@
     unsorted lists representation is still available, in the
     set_unordlist module.
 
+
 Mercury 0.7, 15 August 1997
 ---------------------------
 
@@ -653,4 +656,532 @@
   - arithmetic on complex and imaginary numbers
 
   - processing HTML forms using the CGI interface.
+
+
+Mercury 0.7.2, 13 October 1997
+------------------------------

<< unaltered NEWS section for 0.7.2 >>


+Mercury 0.7.3, 1 November 1997
+------------------------------

<< unaltered NEWS section for 0.7.3 >>

+
+Mercury 0.8, 18 November 1998
+-----------------------------

<< unaltered NEWS section for 0.8 >>

Index: NEWS
===================================================================
NEWS since Mercury release 0.8:
-------------------------------