X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=682bbda3b686479dc161747acc2be3ef96ec0871;hb=1fd63df4c77f5c24024769432ea8492748b4ac79;hp=e3f4baf3bf5a29039b5ba52aee0bbbd51025f8f6;hpb=f39d53ed5f2a11cacbfabf5348e01b47d19479e5;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..682bbda3b 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -28,6 +28,12 @@
+