]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/specification.ldw.xml
- web site update
[helm.git] / helm / www / lambdadelta / web / home / specification.ldw.xml
index a489b47a8f2ca93d61cea3d4d4a52ea84d1cbb91..10a24009f6f08c8d3f03d5964e486e8c5b39d21c 100644 (file)
@@ -3,6 +3,7 @@
 <page xmlns="http://lambdadelta.info/"
       description = "\lambda\delta home page"
       title = "\lambda\delta home page"
+      logo = "crux"
       head = "The Formal Systems of the λδ (\lambda\delta) Family"
 >
    <sitemap name="sitemap"/>
       introduced in each script, is shown in parentheses (? are placeholders).
    </topitem>
 
+<!-- VERSION 3 =========================================================== -->
+
+   <subsection name="v3"><img logo="ld3"/>λδ version 3 (proposed)</subsection>
+   <body>
+      The formal specification of λδ version 3
+      is forthcoming.
+   </body>
+
 <!-- VERSION 2 =========================================================== -->
 
-   <subsection name="v2"><version2-icon/>λδ version 2 (active)</subsection>
+   <subsection name="v2"><img logo="ld2"/>λδ version 2 (active)</subsection>
    <body>
       The formal specification of λδ version 2
       is available in the following formats:
@@ -56,7 +65,7 @@
       <body>
          <rlink to="download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</rlink>
          (revised <notice class="gamma" text="2014-10"/>).
-         Source scripts.
+         Source scripts [Svn revision: 12964].
          <rlink to="documentation.html#ldR2c">Documentation (R2c)</rlink>.
       </body>
       <body>
@@ -79,7 +88,7 @@
 
 <!-- VERSION 1 =========================================================== -->
 
-   <subsection name="v1"><version1-icon/>λδ version 1 (superseded)</subsection>
+   <subsection name="v1"><img logo="ld1"/>λδ version 1 (superseded)</subsection>
    <body>
       The formal specification of λδ version 1
       is available in the following formats: