X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=3b7e71aa585fb68b602d8de84326c96aba95fd3f;hb=3f57ed2589601e79478c85d74708d8ebdec2cf20;hp=ecd3ffabf4292b9cdc158d45516776a65d21f1a7;hpb=dd731f05f181f45260a0c448cf995aa3d7adc1f2;p=helm.git diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index ecd3ffabf..3b7e71aa5 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -28,6 +28,12 @@
+