[m-rev.] for review: remove unnecessary paragraph from bugs page on website

Ian MacLarty maclarty at csse.unimelb.edu.au
Thu Sep 21 14:30:39 AEST 2006


Estimated hours taken: 0.1

download/include/release-0.13-bugs.inc:
	Remove unnecessary paragraph.

Index: download/include/release-0.13-bugs.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.13-bugs.inc,v
retrieving revision 1.1
diff -u -r1.1 release-0.13-bugs.inc
--- download/include/release-0.13-bugs.inc	15 Sep 2006 04:58:24 -0000	1.1
+++ download/include/release-0.13-bugs.inc	21 Sep 2006 04:26:48 -0000
@@ -25,15 +25,6 @@
 are described in the README.* files.
 See also the <a href="limitations.html">limitations</a> of the current release.
 
-<p>
-
-Note: please do not be alarmed by the fact that this software has some bugs.
-ALL useful software has bugs.  During the development of the Mercury
-implementation we have found bugs in gcc, as, ld, the dynamic loader,
-and even the OS kernel.  We hope that by listing the known outstanding bugs
-here we are doing our users a service.  It would be disappointing if
-anyone were to infer the wrong thing from it.
-
 <hr>
 
 <b>Subject: bug report - Inf and NaN  <br>
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list