X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=3a2740198f2af90ab8fab741cb0036d1bc3f0272;hb=2ec8ae0a49716b205bbf63568ee625ec1e9eb524;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..3a2740198 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -77,13 +77,13 @@ 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).