[m-dev.] for review: minor w3 update

Zoltan Somogyi zs at cs.mu.OZ.AU
Tue Aug 10 17:34:09 AEST 1999

For Pete; please check the relative link.

	Add a link from the JLP paper to the page containing its benchmark

	Fix a prominent spelling error.


cvs diff: Diffing .
Index: benchmarks.inc
RCS file: /home/mercury1/repository/w3/information/include/benchmarks.inc,v
retrieving revision
diff -u -b -r1.1.1.1 benchmarks.inc
--- benchmarks.inc	1998/09/01 02:41:09
+++ benchmarks.inc	1999/08/10 07:27:29
@@ -1,4 +1,4 @@
-<h2>Benchmaking Information</h2>
+<h2>Benchmarking Information</h2>
 <h3>Running the benchmarks</h3>
 We have used a set of ten small logic programming benchmarks to compare
Index: papers.inc
RCS file: /home/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.7
diff -u -b -r1.7 papers.inc
--- papers.inc	1998/12/12 14:34:07	1.7
+++ papers.inc	1999/08/10 07:31:28
@@ -179,6 +179,9 @@
 into more detail on exactly how the code is generated, and on how
 the abstract machine instructions are implemented as C or GNU C code.)
+The raw data on which the evaluation is based
+is <a href = "information/benchmarks.html">available here</a>.
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list