]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/index.ldw.xml
now the "news" page is generated
[helm.git] / helm / www / lambdadelta / web / home / index.ldw.xml
index 14be7fa88e67cef1966d9267eac7ecacad49670f..1b6c27c19c6d44c52a36c9f4a9df1f3c2c69927d 100644 (file)
       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>
    <body>