diff: NEWS for 0.7.3

[Fergus Henderson]

Hi,

I'm planning on making a new release, since we have fixed a number
of bugs since 0.7.2.

NEWS:
	Update for release 0.7.3.
	Mention mprof_merge_runs and the elimination of lp_solve.

Index: NEWS
===================================================================
RCS file: /home/staff/zs/imp/mercury/NEWS,v
retrieving revision 1.84
diff -u -u -r1.84 NEWS
--- NEWS	1997/10/15 07:39:29	1.84
+++ NEWS	1997/10/30 12:22:44
@@ -182,9 +182,22 @@
 
 * We have fixed a few minor bugs.
 
+NEWS for Mercury release 0.7.3
+------------------------------
 
-NEWS since Mercury release 0.7.2
---------------------------------
+This release is primarily a bug-fix release.
+But as well as bug fixes, there are a few minor improvements:
+
+* The profiler now allows you to merge profiling data from multiple runs.
+
+  There's a new script `mprof_merge_runs' to support this.
+  See the "Profiling" section of the Mercury User's Guide,
+  or the man page for `mprof_merge_runs'.
+
+* Termination analysis no longer uses the `lp_solve' package.
+  
+  This avoids some portability problems and some copyright issues
+  (the `lp_solve' package had a quite restrictive license).
 
 * We've fixed one of the limitations: unique mode declarations
   no longer have to precede non-unique mode declarations.
-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.