- initial page for osn ...

[helm.git] / helm / www / lambdadelta / specification.html

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 6112c2e5ffc334682ad0a88e1d5820207755f7fe..dbf2c18af87c1b1bf278c3962d5b9a3f254667b7 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b15.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b15.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The systems of the λδ family are developed as machine-checked digital specifications,
@@ -241,14 +241,14 @@
     </ul>
     <!-- VERSION 3 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v3">
-      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
+      <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal specification of λδ version 3
       is forthcoming.
    </div>
     <!-- VERSION 2 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
-      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
+      <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal specification of λδ version 2
       is available in the following formats:
@@ -280,7 +280,7 @@
    </div>
     <!-- VERSION 1 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v1">
-      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
+      <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal specification of λδ version 1
       is available in the following formats:
@@ -378,6 +378,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 27 Jun 2016 20:56:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
   </body>
 </html>