]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/index.ldw.xml
contrib update ...
[helm.git] / helm / www / lambdadelta / web / home / index.ldw.xml
index 1b6c27c19c6d44c52a36c9f4a9df1f3c2c69927d..8517a56ef199e89d046a41eabbaa26d4c7429ae2 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"/>).
    </body>
 
-   <section3 name="notice">Notice for the Internet Explorer user</section3>
+   <section9 name="notice">Notice for the Internet Explorer user</section9>
    <body>
       To view this site correctly, please select a font
       with <link to="http://www.unicode.org/">Unicode</link> support.