- update in basic_2

[helm.git] / helm / www / lambdadelta / web / home / specification.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml

index d32c6ca5d3c9b1680c793403c35a1e255547f5a1..815f9f34ab17a5928af344296bda1a293ae44cc8 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -24,9 +24,16 @@
     </body>
  
     <topitem name="source2">
-      <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
-      (revised <date date="2014-10"/>).
-      Source scripts.
+      <body>
+         <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
+         (revised <date date="2014-10"/>).
+         Source scripts.
+      </body>
+      <body>
+         <date date="Notice:"/> compile with the latest version of Matita from
+         <link to="http://matita.cs.unibo.it/download.shtml">HELM Subversion repository</link>
+         at path &lt;trunk/matita/&gt;.
+      </body>
     </topitem>
  
     <body>