? web-hurd.diff
Index: gnumach-install.html
===================================================================
RCS file: /webcvs/hurd/hurd/gnumach-install.html,v
retrieving revision 1.8
diff -u -r1.8 gnumach-install.html
--- gnumach-install.html	26 May 2003 12:48:26 -0000	1.8
+++ gnumach-install.html	2 Jan 2004 08:42:45 -0000
@@ -57,9 +57,7 @@
 
 <H3><A HREF="#TOCversion" NAME="version">Latest version</A></H3>
 <P>
-The last stable version of GNU Mach is 1.2, but it is recommended that
-you use the version in CVS instead, as this fixes some bugs that
-prevent the kernel to work on some systems.
+The last stable version of GNU Mach is 1.3.
 
 <H3><A HREF="#TOCinstall" NAME="install">Installation instructions</A></H3>
 <P>