milestone in basic_2 !!

[helm.git] / helm / www / matita / library.shtml

diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml
index c42fa673bd0fd87dcab5afe1841e23771fdbab47..e5aa7316e315c3866df00667cde42928cbcb5c4e 100644 (file)
--- a/helm/www/matita/library.shtml
+++ b/helm/www/matita/library.shtml
@@ -12,11 +12,12 @@
 
       <h2>Scripts<a name="scripts"></a></h2>
       <p>
-      The <a href="library/">scripts</a> used to generate the knowledge base of
-      Matita can be <a href="library/">browsed on line</a>.
+      The <a href="nlibrary/">scripts</a> used to generate the knowledge base of
+      Matita can be <a href="nlibrary/">browsed on line</a>.
       </p>
       <p>
-      The experimental <a href="nlibrary/">scripts</a> for the next major version of Matita can also be <a href="nlibrary/">browsed on line</a>.
+      (Old <a href="library/">scripts</a> used in the previous releases of
+      Matita are <a href="library/">still available</a>.)
       </p>
 
       <br/>