[m-dev.] trivial diff: fix 0.9 contents web page

[Fergus Henderson]

Estimated hours taken: 0.1

w3/download/include/release-0.9-contents.inc:
	Delete OPIUM-M from the list of things in the extras distribution,
	since it was not included in the final release of 0.9.

Workspace: /home/mercury0/fjh/mercury
Index: w3/download/include/release-0.9-contents.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.9-contents.inc,v
retrieving revision 1.1
diff -u -d -r1.1 release-0.9-contents.inc
--- release-0.9-contents.inc	1999/12/18 08:00:36	1.1
+++ release-0.9-contents.inc	1999/12/18 14:42:20
@@ -22,20 +22,17 @@
 	<li> some sample Mercury programs
 </ul>
 <p>
-The "mercury-extras" distribution contains:
-<ul>
-	<li> some extra libraries for
-	     <ul>
-	     <li> processing HTML forms using the CGI interface
-	     <li> arithmetic on complex and imaginary numbers
-	     <li> graphics using Tk and OpenGL
-	     <li> lazy evaluation
-	     <li> dynamic linking
-	     <li> POSIX interface
-	     <li> backtrackable (trailed) destructive update
-	     <li> an ODBC database interface
-	     <li> a CLP(R) interface, i.e. constraint solving over real numbers
-	     </ul>
-	<li> the OPIUM-M debugger/trace analysis system
-</ul>
+The "mercury-extras" distribution contains some extra libraries for:
+	<ul>
+	<li> processing HTML forms using the CGI interface
+	<li> arithmetic on complex and imaginary numbers
+	<li> graphics using Tk and OpenGL
+	<li> lazy evaluation
+	<li> dynamic linking
+	<li> POSIX interface
+	<li> backtrackable (trailed) destructive update
+	<li> an ODBC database interface
+	<li> a CLP(R) interface, i.e. constraint solving over real numbers
+	</ul>
+<p>
 The "mercury-tests" distribution contains a test suite.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------