]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/documentation.html
- update in basic_2
[helm.git] / helm / www / lambdadelta / documentation.html
index eeac0ff2afa1654e1dbec608a479ae8063a85672..e81eb4956168ab1f52751504fc92edcf20ae2c40 100644 (file)
@@ -72,7 +72,7 @@
               <a href="http://lambdadelta.info/index.html#notice">notice</a>
             </td>
             <td class="snss capitalize magenta">
-              <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
+              <a href="http://lambdadelta.info/news.html#citations">citations</a>
             </td>
             <td class="snss capitalize orange">
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
@@ -95,8 +95,8 @@
     </div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       BibTeX database of λδ documentation:
-      <a href="http://lambdadelta.info/download/lambdadelta.bib">lambdadelta.bib</a>,
-      <a href="http://lambdadelta.info/download/lambdadelta.txt">lambdadelta.txt</a>
+      download <a href="http://lambdadelta.info/download/lambdadelta.bib">lambdadelta.bib</a>,
+      view <a href="http://lambdadelta.info/download/lambdadelta.txt">lambdadelta.txt</a>
       (revised <span class="date">2014-10</span>).
    </div>
    
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 15 Oct 2014 15:37:18 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 20 Oct 2014 16:59:34 +0200</div>
 </body>
 </html>