]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/documentation.html
refactoring of the butterflies :)
[helm.git] / helm / www / lambdadelta / documentation.html
index aa35f41392bdf66f27ada233b8a8f11c43dc39b5..7a90b1ba560d016c9fe5d019da1775d48d04e8d3 100644 (file)
@@ -80,7 +80,7 @@
       </table>
     </div>
 
-   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="bibtex">Documentation <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b5.png" />
+   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="bibtex">Documentation <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       BibTeX database of λδ documentation:
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:15:22 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 16:55:23 +0200</div>
 </body>
 </html>