X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=050a17328536089873fad5eb223d134d6a70351c;hp=4ee9bb46b3a4dd73c560d6e38a15ecd2b4b27e9f;hb=2f6f2b7c01d47d23f61dd48d767bcb37aecdcfea;hpb=3a4509b8e569181979f5b15808361c83eb1ae49a diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index 4ee9bb46b..050a17328 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -133,7 +133,7 @@ Source scripts. - released [Git revision: 2014-10-28 17:46:26]. + released [Git revision: 2020-02-27 22:45:50].