X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Findex.ldw.xml;h=677e33bd9b833604b59a3cf38b1f8a795e821280;hb=644307df315b855c3851f813b04d562acf2db9bc;hp=1b6c27c19c6d44c52a36c9f4a9df1f3c2c69927d;hpb=7f349a4f0175068138a341081d0dd14fd9fe4c4a;p=helm.git diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml index 1b6c27c19..677e33bd9 100644 --- a/helm/www/lambdadelta/web/home/index.ldw.xml +++ b/helm/www/lambdadelta/web/home/index.ldw.xml @@ -20,11 +20,6 @@ as a machine-checked digital specification that is not the formal counterpart of some previously published informal material. - - Î»Î´ comes in several versions listed in the following table, - which includes the major milestones: - - This is the System logo: crux_177.png (revised ).