X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2FREADME;h=d48449056c4262fa978c8777a15024a2e2fbca5d;hb=546b8519396c265560a7d1e72d5c716648000987;hp=e1b7d2447b8c58a14bad7145fc39ec40773386dc;hpb=37c3099643cc8fa0365e7faad20d6e8e35c01b92;p=helm.git

diff --git a/helm/matita/scripts/README b/helm/matita/scripts/README
index e1b7d2447..d48449056 100644
--- a/helm/matita/scripts/README
+++ b/helm/matita/scripts/README
@@ -15,6 +15,6 @@ do_tests.sh
 insert.awk  
   creates the SQL INSERT statements for the output of profile_cvs.sh
 
-profile_cvs.sh
-  CVS co, compilation, run
+profile_svn.sh
+  SVN co, compilation, run