[m-rev.] .NET doc updates

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main

NEWS:
	Mention that the .NET back-end now bootstraps.

README.DotNet:
	Only 90.9% of the tests pass, not 98%.
	Also, delete references to deprecated io__current_* predicates.

Workspace: /home/ceres/fjh/mercury
Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.304
diff -u -d -r1.304 NEWS
--- NEWS	24 Feb 2003 05:49:27 -0000	1.304
+++ NEWS	24 Feb 2003 15:31:33 -0000
@@ -33,7 +33,7 @@
 * Nothing yet.
 
 Changes to the compiler back-ends:
-* Nothing yet.
+* The .NET CLR back-end now bootstraps.
 
 Numerous minor improvements to the Mercury standard library.
 
@@ -152,8 +152,12 @@
 
 Changes to the compiler back-ends:
 
-* Nothing yet.
+* The .NET CLR back-end now bootstraps.
 
+  We've fixed a lot of bugs, and implemented a lot more of the Mercury
+  standard library.  As well as being able to bootstrap in grade `il',
+  we also now pass more than 90% of the applicable tests in the
+  Mercury test suite.  See README.DotNet for details.
 
 NEWS for Mercury 0.11
 ---------------------
Index: README.DotNet
===================================================================
RCS file: /home/mercury1/repository/mercury/README.DotNet,v
retrieving revision 1.10
diff -u -d -r1.10 README.DotNet
--- README.DotNet	22 Feb 2003 15:55:40 -0000	1.10
+++ README.DotNet	24 Feb 2003 15:28:34 -0000
@@ -10,7 +10,7 @@
 The port is mostly complete, but some parts of the Mercury standard
 library are not yet implemented (for a full list see the FAQ below).
 However, enough is implemented correctly to bootstrap the Mercury
-compiler, and to pass about 98% of the applicable tests in the Mercury
+compiler, and to pass more than 90% of the applicable tests in the Mercury
 test suite.
 
 The port is currently targetted at the Microsoft .NET Framework SDK version 1.
@@ -237,10 +237,6 @@
    are still not yet implemented:
 
 	io.binary_stream_offset/4
-	io.current_binary_input_stream/3
-	io.current_binary_output_stream/3
-	io.current_input_stream/3
-	io.current_output_stream/3
 	io.seek_binary_2/5
 	type_desc.make_type/2
 	type_desc.type_ctor/1

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------