diff: NEWS for 0.7.3

[Fergus Henderson]

Tyson Richard DOWD <trd at cs.mu.oz.au> writes:

>Well, the consequences are more than this - lp_solve is also 
>no longer part of the distribution.
>
>Did you want to document a little more on the bugs that were fixed?
>(Just so people know whether they are bugs that are likely to affect
>them).

Index: NEWS
===================================================================
RCS file: /home/staff/zs/imp/mercury/NEWS,v
retrieving revision 1.85
retrieving revision 1.86
diff -u -u -r1.85 -r1.86
--- NEWS	1997/10/30 12:26:39	1.85
+++ NEWS	1997/10/31 17:15:36	1.86
@@ -185,7 +185,9 @@
 NEWS for Mercury release 0.7.3
 ------------------------------
 
-This release is primarily a bug-fix release.
+This release is primarily a bug-fix release.  The problems fixed
+include installation problems on Windows, some problems with the
+profiler, and compatibility with GNU Make versions >= 3.76.
 But as well as bug fixes, there are a few minor improvements:
 
 * The profiler now allows you to merge profiling data from multiple runs.
@@ -194,7 +196,8 @@
   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.
+* Termination analysis no longer uses the `lp_solve' package,
+  so we have removed it from the distribution.
   
   This avoids some portability problems and some copyright issues
   (the `lp_solve' package had a quite restrictive license).