...

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 9f356faeb0a681f3b2a85141ae24d26648edb2d2..2a35c2791ec972d200ea3b7d0a7d3acc6d5e2ff5 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -94,7 +94,7 @@ e22f3c313f3291400f2912cc24eaa591
       <h2>Cluster .cs.unibo.it.<a name="clustercs"></a></h2>
       <p>
       The following repository contains the version of Matita installed 
-      in the Ercolani laboratory
+      in the Ercolani laboratory, currently running Ubuntu Hardy.
       </p>
       <pre>
       deb http://matita.cs.unibo.it/CLUSTERCS ./