[m-rev.] trivial diff: fix HTML in quickcheck documentation

[Simon Taylor]

Estimated hours taken: 0.1

extras/quickcheck/tutes/index.html:
	Remove `<pre>' tags within links. lynx can't handle them.

Index: index.html
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/quickcheck/tutes/index.html,v
retrieving revision 1.2
diff -u -u -r1.2 index.html
--- index.html	3 Oct 2001 02:04:10 -0000	1.2
+++ index.html	3 Oct 2001 02:05:56 -0000
@@ -7,18 +7,18 @@
 
 <H3> HTML Version </H3>
 
-<ul>
-<li> <a href="T1.html"><pre>Tutorial 1		Intro & `===`</pre></a>
-<li> <a href="T2.html"><pre>Tutorial 2		Conditional laws & `===>``</pre></a>
-<li> <a href="T3.html"><pre>Tutorial 3		Monitoring Data, to_trivial/3, `>>>`</pre></a>
-<li> <a href="T4.html"><pre>Tutorial 4		Summary - Invariant Function & Property </pre></a>
-<li> <a href="T5.html"><pre>Tutorial 5		Generators basic</pre></a>
-<li> <a href="T6.html"><pre>Tutorial 6		Discriminated union & Specific Frequency</pre></a>
-<li> <a href="T7.html"><pre>Tutorial 7		General Frequency</pre></a>
-<li> <a href="T8.html"><pre>Tutorial 8		Random Functions</pre></a>
-<li> <a href="T9.html"><pre>Tutorial 9		User Defined Generators</pre></a>
-<li> <a href="T10.html"><pre>Tutorial 10		Summary - Generators</pre></a>
-</ul>
+<ol>
+<li> <a href="T1.html">Intro & `===`</a>
+<li> <a href="T2.html">Conditional laws & `===>`</a>
+<li> <a href="T3.html">Monitoring Data, to_trivial/3, `>>>`</a>
+<li> <a href="T4.html">Summary - Invariant Function & Property</a>
+<li> <a href="T5.html">Generators basic</a>
+<li> <a href="T6.html">Discriminated union & Specific Frequency</a>
+<li> <a href="T7.html">General Frequency</a>
+<li> <a href="T8.html">Random Functions</a>
+<li> <a href="T9.html">User Defined Generators</a>
+<li> <a href="T10.html">Summary - Generators</pre></a>
+</ol>
 
 Feedback? Mail <a href="mailto:xcsm at students.cs.mu.oz.au">Simon</a>.
 
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------