X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;fp=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=10a24009f6f08c8d3f03d5964e486e8c5b39d21c;hb=f16bf89d854b0c2658d6c622ef5f2bcb8a3cd45a;hp=e3f4baf3bf5a29039b5ba52aee0bbbd51025f8f6;hpb=66962864d3703b8f3b44e95d32c03ed50ceee6f1;p=helm.git diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index e3f4baf3b..10a24009f 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -65,7 +65,7 @@ lambdadelta_2A1 for Matita 0.99.2 (revised ). - Source scripts. + Source scripts [Svn revision: 12964]. Documentation (R2c).