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=3b7e71aa585fb68b602d8de84326c96aba95fd3f;hp=721939a4483553e32e53c1c67dde8755cf15e9de;hb=3f57ed2589601e79478c85d74708d8ebdec2cf20;hpb=1aca50505c3ce6c76dd7d20d00e358707caffd4a diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index 721939a44..3b7e71aa5 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -29,7 +29,7 @@ - + System and Specification (updated ).