[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