X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fversion_1.ldw.xml;h=d6d7c93c7b3b179133afa0d6f18842d9873f4691;hb=325319a6c28fd8c3992cdb0be745b0c7ca8651c3;hp=4c7542189a526062471de7f6f070f2d6f330ebd5;hpb=4b72bec9d6fc7970cf4a2bc4a1fc4060e71af3f2;p=helm.git diff --git a/helm/www/lambdadelta/web/home/version_1.ldw.xml b/helm/www/lambdadelta/web/home/version_1.ldw.xml index 4c7542189..d6d7c93c7 100644 --- a/helm/www/lambdadelta/web/home/version_1.ldw.xml +++ b/helm/www/lambdadelta/web/home/version_1.ldw.xml @@ -7,7 +7,7 @@ > - Formats + Formats The formal specification of Î»Î´ version 1 is available in the following formats: