]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/news.html
site update
[helm.git] / helm / www / lambdadelta / news.html
index 6ea5beda9c7b4ac8d06a58335b5806f6ae380ce3..9a7841afeffa27ac1a2694882c3fb34f0322f6c2 100644 (file)
@@ -31,7 +31,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic sky">
-              <a href="http://lambdadelta.info/index.html">home</a>
+              <a href="http://lambdadelta.info/home.html">home</a>
             </td>
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
@@ -57,7 +57,7 @@
           </tr>
           <tr>
             <td class="snns capitalize sky">
-              <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
             </td>
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
             <td class="ssnn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
             </td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
-              <a href="http://lambdadelta.info/index.html#citations">citations</a>
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
             </td>
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
       </table>
     </div>
     <!-- ===================================================================== -->
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b3.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
    </li>
     </ul>
     <!-- ===================================================================== -->
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="visibility">Visibility <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b3.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="visibility">Visibility <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 May 2016 15:25:26 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:41 +0200</div>
   </body>
 </html>