]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/apps_2.html
named anchors replaced by ids as requested by xhtml
[helm.git] / helm / www / lambdadelta / apps_2.html
index 3cb582ae7985e5ca702ce63237ab79e13deff96b..93b2272a4f86c5ee48871de49b4dcc20b2603d2c 100644 (file)
@@ -23,8 +23,7 @@
     <div class="spacer">
       <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
     </div>
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Contents of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Contents of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">This specification comprises a collection of checked
          applications of λδ version 2.
          In particular it contains the components below.
@@ -44,8 +43,7 @@
    </li>
     </ul>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Summary of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Summary of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical acount of the specification's contents
          and its timeline.
          Nodes are counted according to the "intrinsinc complexity measure"
    </li>
     </ul>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Logical Structure of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Logical Structure of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in planes and components
          according to the following table.
          Each component contains its own notation file.
       </table>
     </div>
 
-   <a xmlns:ld="http://lambdadelta.info/" name="" />
-    <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Physical Structure of the Specification</div>
+   <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Physical Structure of the Specification</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in directories,
          one for each component.
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 16:29:26 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 17:03:50 +0200</div>
 </body>
 </html>