X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Findex.ldw.xml;h=7f07c502b78e68e7035c46ea78db6cc1e8ab1248;hb=e36a0eced135e6f1b79d06c78a408918f65376b6;hp=677e33bd9b833604b59a3cf38b1f8a795e821280;hpb=644307df315b855c3851f813b04d562acf2db9bc;p=helm.git diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml index 677e33bd9..7f07c502b 100644 --- a/helm/www/lambdadelta/web/home/index.ldw.xml +++ b/helm/www/lambdadelta/web/home/index.ldw.xml @@ -18,15 +18,14 @@ λδ 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: