[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