]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html-root.xsl
- ld-html-root: ported to permanent lambda-delta url
[helm.git] / helm / software / lambda-delta / xml / ld-html-root.xsl
index 79cf8352abea7cb8292e230e4b84d338be3c29ec..72958381b3accf98efec9375a471193d06e30994 100644 (file)
       <meta name="description" content="lambda-delta digital library"/>
       <title>lambda-delta digital library (LDDL)</title>
       <link rel="stylesheet" type="text/css"
-            href="http://helm.cs.unibo.it/lambda-delta/static/lddl/ld-html.css"
+            href="http://lambda-delta.info/static/lddl/ld-html.css"
       />
       <link rel="shortcut icon" 
-            href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
+            href="http://lambda-delta.info/download/crux-16.ico"
       />
    </head><body>
       <div class="spacer">         
-        <a href="http://helm.cs.unibo.it/lambda-delta/">
+        <a href="http://lambda-delta.info/">
          <img class="icon32" 
              alt="[lambda-delta home]" title="lambda-delta home"
-             src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
+             src="http://lambda-delta.info/download/crux-32.png"
         /></a>
       </div>
       <div class="head1">       
@@ -45,7 +45,7 @@
       <div class="spacer"> 
         <img class="rule"
              alt="[Spacer]" title="lambda-delta rainbow rule"
-             src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
+             src="http://lambda-delta.info/download/rainbow.png"
         />
       </div>       
       <xsl:apply-templates/>
          <img class="w3c"
              alt="[Generated from XML via XSL]"
              title="Generated from XML via XSL"
-             src="http://helm.cs.unibo.it/lambda-delta/download/xml_xsl2.png"
+             src="http://lambda-delta.info/download/xml_xsl2.png"
         /></a>
-        <a href="http://helm.cs.unibo.it/lambda-delta/implementation.html#helena">
+        <a href="http://lambda-delta.info/implementation.html#helena">
          <img class="w3c"
              alt="[Powered by Helena lambda-delta processor]"
              title="Powered by Helena lambda-delta processor"
-             src="http://helm.cs.unibo.it/lambda-delta/download/helena-label.png"
+             src="http://lambda-delta.info/download/helena-label.png"
         /></a>
         <a href="http://www.w3.org/Graphics/PNG/">
         <img class="w3c"