]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/index.ldw.xml
the generation of the web site is completed!
[helm.git] / helm / www / lambdadelta / web / home / index.ldw.xml
index 1b6c27c19c6d44c52a36c9f4a9df1f3c2c69927d..677e33bd9b833604b59a3cf38b1f8a795e821280 100644 (file)
       as a machine-checked digital specification
       that is not the formal counterpart of some previously published informal material.
    </body>
-   <body>
-      λδ comes in several versions listed in the following table,
-      which includes the major milestones:
-   </body>
-   <table name="versions"/>
    <body>
       This is the System logo: <rlink to="images/crux_177.png">crux_177.png</rlink>
       (revised <date date="2012-09"/>).