X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;fp=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=721939a4483553e32e53c1c67dde8755cf15e9de;hb=a82d87a4c2ff9f518385fba7357dafb632a22882;hp=0dfec650c6e1bfe54109bdba52b2161212c2d8c7;hpb=cdb85e803cd6038352ec0a318285f96f42faf02d;p=helm.git diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index 0dfec650c..721939a44 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -28,6 +28,12 @@ + + + System and Specification + (updated ). + + Informational pages on the specifications are provided.