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

Peter Ross petdr at cs.mu.OZ.AU
Tue Aug 10 18:58:48 AEST 1999


On 10-Aug-1999, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> 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>.

This should simply be "./benchmarks.html", I think.

> +<p>
>  
>  <li>
>  <strong>

The best way to test your changes is to type the file URL in your
browser.

For example

file:/home/pgrad/petdr/disks/hydra/w3/index.html

to start at the top level page and then just follow the links to the
papers page and test the link.

Once you have tested the link submit it.

Pete.
--------------------------------------------------------------------------
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