[m-rev.] diff: update dotnet web page

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main
Reviewed-by: trd

w3/include/dotnet.inc:
	Update to reflect recent developments, e.g. the release of 0.10.
	Also flesh out a bit, and add a few links.

Workspace: /mnt/murlibobo/home/mercury0/fjh/mercury
Index: w3/include/dotnet.inc
===================================================================
RCS file: /home/mercury1/repository/w3/include/dotnet.inc,v
retrieving revision 1.3
diff -u -d -r1.3 dotnet.inc
--- w3/include/dotnet.inc	2001/02/19 06:58:34	1.3
+++ w3/include/dotnet.inc	2001/03/23 23:01:30
@@ -1,12 +1,41 @@
-<h3> Mercury on .NET </h3>
+<h2> Mercury on .NET </h2>
 
 <h3> Status </h3>
 
-Recent daily releases of the Mercury compiler include support for
-generating code for the .NET platform.  Since early January 2001, they have
-also included a partial port of the Mercury library and runtime to .NET.
-However, there are still many parts of the standand library which are
-not yet implemented for this port.
+The <a href="<? echo $root ?>/download/release.html">current release</a>
+of the Mercury compiler includes preliminary support for generating code
+for the 
+<a href="http://msdn.microsoft.com/net/">Microsoft .NET platform</a>.
+It also includes a partial port of the Mercury library and runtime to .NET.
+
+<h4> The bad news </h4>
+
+At this point it is still an alpha-quality release; it's hard to install,
+there are still many parts of the standard library which are not yet
+implemented for this port, it's not well tested, not yet efficient,
+and undergoing continual change in our development snapshots (e.g. the
+data representation used in the current release is inefficient and will
+be changed, the current name mangling approach is inconvenient and will
+be changed, etc.)
+
+<h4> The good news </h4>
+
+The good news is that the new back-end does support all the standard
+Mercury language features:
+<ul>
+<li> parametric polymorphism
+<li> multi-parameter type classes
+<li> higher-order procedures and closures
+<li> existential types
+<li> multi-moded procedures
+<li> backtracking
+<li> etc.
+</ul>
+And if you're interested in checking it out, it's available for
+<a href="<? echo $root ?>/download.html">download</a> today.
+<p>
+For more information, see the README.DotNet file in the
+Mercury source distribution.
 
 <h3> Articles </h3>
 

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