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=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..3b7e71aa5 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.