site update

[helm.git] / helm / www / lambdadelta / osn.html
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html

index b67c477a3fe2a96d019f1351390278ed654fbcfe..e367a682d8de565f939d9cd4c5627c2628e0205b 100644 (file)
--- a/helm/www/lambdadelta/osn.html
+++ b/helm/www/lambdadelta/osn.html
@@ -15,7 +15,7 @@
    </head>
    <body lang="en-US">
      <div class="spacer">
-      <a href="http://lambdadelta.info/osn.html">
+      <a href="http://lambdadelta.info/osn/">
          <img class="w3c" alt="[Open Symbolic Notation logo]" title="OSN: Open Symbolic Notation" src="http://lambdadelta.info/images/osn_label.png" />
        </a>
      </div>
@@ -193,6 +193,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:49 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:08:41 +0200</div>
    </body>
  </html>