[m-dev.] for review: update dotnet.html

[Fergus Henderson]

Estimated hours taken: 0.25

w3/include/dotnet.inc:
	Update the documentation of the status of the .NET port.

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.2
diff -u -d -r1.2 dotnet.inc
--- w3/include/dotnet.inc	2000/10/22 23:18:11	1.2
+++ w3/include/dotnet.inc	2001/02/17 20:29:49
@@ -2,15 +2,11 @@
 
 <h3> Status </h3>
 
-The most recent daily releases of the Mercury compiler include support
-for generating code for the .NET platform.  The Mercury library and
-runtime have been partially ported to .NET, however these changed have
-not yet been integrated into the Mercury compiler.
-
-<p>
-
-We expect to be able to make a beta-release for the Mercury .NET backend
-available in around December 2000.  
+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.
 
 <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-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
--------------------------------------------------------------------------