X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Findex.ldw.xml;h=7f07c502b78e68e7035c46ea78db6cc1e8ab1248;hb=3080bf8226d155d017c5ec5c4e852d952f5b878c;hp=e37ac33b26f2a99b7f17f08097e27aab5e1d794d;hpb=b665b25cc0b62aa5bd7e90224fe7a28d15e122f2;p=helm.git diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml index e37ac33b2..7f07c502b 100644 --- a/helm/www/lambdadelta/web/home/index.ldw.xml +++ b/helm/www/lambdadelta/web/home/index.ldw.xml @@ -18,7 +18,7 @@ Î»Î´ is developed in the context of the Hypertextual Electronic Library of Mathematics as a machine-checked digital specification - that is not the formal counterpart of some previously published informal material. + that is not the formal counterpart of previous informal material. This is the System logo: crux_177.png