[m-rev.] trivial diff: update NEWS

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

NEWS:
	Remove out of date comments in the "NEWS since Mercury release 0.10.1"
	section which stated that Mercury 0.10.1 has not been announce yet.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.210
diff -u -u -r1.210 NEWS
--- NEWS	2001/05/31 09:11:19	1.210
+++ NEWS	2001/05/31 09:28:46
@@ -1,10 +1,5 @@
-NEWS since Mercury release 0.10.1
----------------------------------
-Note that Mercury 0.10.1 has not actually been officially announced;
-this section documents changes in the development version of
-Mercury since we established a feature freeze for Mercury 0.10
-and split development of that version off onto a separate branch
-of our CVS repository (the `version-0_10_y' branch).
+NEWS since Mercury release 0.10.1:
+----------------------------------
 
 Changes to the Mercury language:
 * We've extended the language to allow you to specify different clauses
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------