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 @@ + + + System and Specification + (updated ). + + Informational pages on the specifications are provided. @@ -77,15 +83,15 @@ the scripts are checked by the latest version of Matita from - helm.git repository. + HELM Git repository. lambdadelta_2B for Matita 0.99.4 - (revised ). + (revised ). Source scripts [Git revision: 2019-11-19 20:45:15]. - Documentation (V2b). + Documentation (J2a).