- milestone in basic_2

[helm.git] / helm / www / lambdadelta / specification.html

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index c627c3cb196be8cb1076d78df4034567ec0d453e..6fa271a255a650f0052e996cdc6b5ef1aff6e8f1 100644 (file)
--- 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: Sat, 11 Mar 2017 19:30:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 16 Oct 2017 23:36:55 +0200</div>
   </body>
 </html>