- web site update

[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 e3f4baf3bf5a29039b5ba52aee0bbbd51025f8f6..10a24009f6f08c8d3f03d5964e486e8c5b39d21c 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -65,7 +65,7 @@
        <body>
           <rlink to="download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</rlink>
           (revised <notice class="gamma" text="2014-10"/>).
-         Source scripts.
+         Source scripts [Svn revision: 12964].
           <rlink to="documentation.html#ldR2c">Documentation (R2c)</rlink>.
        </body>
        <body>