[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.
w3/information/include/papers.inc:
Add a link from the JLP paper to the page containing its benchmark
info.
w3/information/include/benchmark.inc:
Fix a prominent spelling error.
Zoltan.
cvs diff: Diffing .
Index: benchmarks.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/benchmarks.inc,v
retrieving revision 1.1.1.1
diff -u -b -r1.1.1.1 benchmarks.inc
--- benchmarks.inc 1998/09/01 02:41:09 1.1.1.1
+++ 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.)
<p>
+The raw data on which the evaluation is based
+is <a href = "information/benchmarks.html">available here</a>.
+<p>
<li>
<strong>
--------------------------------------------------------------------------
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