]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_library.xsl
site update
[helm.git] / helm / www / lambdadelta / xslt / ld_web_library.xsl
index b72f25fd1b27d5236e62cced9db533c25a43dc16..e6b8df546d02b66cb978351787722cf7d74d44eb 100644 (file)
 </xsl:template>
 
 <xsl:template name="osn-logo">
-   <a href="{$baseurl}osn.html"><img class="w3c"
+   <a href="{$baseurl}osn/"><img class="w3c"
       alt="[Open Symbolic Notation logo]"
       title="OSN: Open Symbolic Notation"
       src="{$baseurl}images/osn_label.png"