X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=37a13819a7186f5d6b68b526dec6fdf4628b59e6;hb=f16bf89d854b0c2658d6c622ef5f2bcb8a3cd45a;hp=07d6ecf3beb8c321d803750d1a50790c8d2a90f7;hpb=66962864d3703b8f3b44e95d32c03ed50ceee6f1;p=helm.git

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 07d6ecf3b..37a13819a 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -258,7 +258,7 @@
         <div class="text">
           <a href="http://lambdadelta.info/download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</a>
          (revised <span class="emph gamma">2014-10</span>).
-         Source scripts.
+         Source scripts [Svn revision: 12964].
          <a href="http://lambdadelta.info/documentation.html#ldR2c">Documentation (R2c)</a>.
       </div>
         <div class="text">
@@ -378,6 +378,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 16 Apr 2017 15:42:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 10 Oct 2017 19:10:33 +0200</div>
   </body>
 </html>