[m-rev.] for review: modified gator's configuration files to have more sensible defaults

[Samrith UONG]

On 2/13/06, Julien Fischer <juliensf at cs.mu.oz.au> wrote:
>
> You should also announce it this in the NEWS file.  (We should also
> announce it on the webpage but we'll wait until we have a bit more
> expereince with it.)
>

Is this enough or too brief?

Index: NEWS
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/NEWS,v
retrieving revision 1.400
diff -u -r1.400 NEWS
--- NEWS        30 Jan 2006 06:37:17 -0000    1.400
+++ NEWS        15 Feb 2006 04:23:11 -0000
@@ -74,6 +74,8 @@
 Changes to the extras distribution:
 * We've added a library of data structures designed to work with solver types.
 * We've added a library to generate Windows installer packages.
+* We've added a program to generate optimisation flags for mmc (see
+  mercury/extras/gator).


 DETAILED LISTING

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------