website update : svn instructions

web/download.xml

@@ -33,7 +33,7 @@ for OCaml 3.06)</a></li>
 </ul>
 
 <p>
-See <a href="CHANGES">recent changes</a> (including those of the CVS
+See <a href="CHANGES">recent changes</a> (including those of the SVN
 version), and <a href="INSTALL">build instructions</a>.
 </p>
 
@@ -42,37 +42,34 @@ The simplest way to compile and install CDuce is probably to
 use the
 <a href="http://www.ocaml-programming.de/godi/">
 GODI distribution</a>, and to select the <tt>apps-cduce</tt> package.
-An option in this package allows you to use the current CVS
+An option in this package allows you to use the current SVN
 development tree instead.
 </p>
 
 </box>
 
-<box title="CVS status" link="cvs">
+<box title="SVN status" link="cvs">
 <p>
-You can browse the <a href="http://www.cduce.org/c-bin/viewcvs.cgi/"
->current CVS development tree</a>.
+    You can browse the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/"
+>current SVN development tree</a>.
 </p>
 
 <p>
-You can also download the CVS tree through an anonymous access.
-Set the <tt>CVSROOT</tt> environment variable to 
-<tt>:pserver:anonymous@cvs.cduce.org:/cvsroot</tt>
-and do <tt>cvs checkout cduce</tt>. Or more simply, copy and paste in a terminal the following line
-</p><p>
-<tt>cvs -z3 -d ":pserver:anonymous@cvs.cduce.org:/cvsroot" co cduce</tt>
-</p><p>
-You can then do <tt>cvs update -dP</tt>
+    You can also download the SVN tree through an anonymous access using
+    svn: <tt>svn co https://svn.cduce.org</tt>
+You can then do <tt>svn update</tt>
 in the <tt>cduce</tt> subdirectory to get an up-to-date version 
-of the CVS tree.
+of the SVN tree.
 </p>
 
+<!--
 <p>
 Another way to follow the development in the CVS is to use
 the <tt>apps-cduce </tt> <a
 href="http://www.ocaml-programming.de/godi/">GODI</a> package
 and to set the <tt>APPS_CDUCE_CVS_CHECKOUT</tt> to <tt>yes</tt>.
 </p>
+-->
 
 </box>