nug fix in the location of images

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

index 7785bbf75cf770cdb930d339558caeb21001bcbb..67872e9d6dd06a38f94613b22851890c44a360b2 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -5,20 +5,20 @@
      <title>lambdadelta home page</title>
      <meta content="Ferruccio Guidi" name="author">
      <meta content="The formal system lambdadelta" name="description">
-    <link rel="shortcut icon" href="download/crux_16.ico">
+    <link rel="shortcut icon" href="images/crux_16.ico">
    </head>
    <body>
      <div style="text-align: center;">
        <br>
        <a href="http://lambdadelta.info"><img alt="[Crux Logo]"
-          title="The Crux" src="download/crux_32.png" style="border: 0px
+          title="The Crux" src="images/crux_32.png" style="border: 0px
            solid ; width: 32px; height: 32px;"></a>
        <h1>The Formal System λδ (lambdadelta)<br>
        </h1>
        <h2>Towards the unification of terms, types, environments and
          contexts</h2>
        <img style="width: 95%; height: 4px;" alt="[Separator]"
-        title="Separator" src="download/rainbow.png"><br>
+        title="Separator" src="images/rainbow.png"><br>
        <table style="text-align: left; width: 95%; margin-left: auto;
          margin-right: auto;" border="0" cellpadding="2" cellspacing="20">
          <tbody>
@@ -42,7 +42,7 @@
                <h3 style="text-align: right;">Computer-checked formal
                  specifications <img style="width: 37px; height: 37px;"
                    alt="[Butterfly]" title="Butterfly"
-                  src="download/b9.png"></h3>
+                  src="images/b9.png"></h3>
                <span style="font-weight: bold;">Resource
                  1</span> below provides for the statically generated <span
                  style="font-weight: bold;">natural language
@@ -141,10 +141,10 @@ Formal
                </ol>
                <h3 style="text-align: right;">Tools <img style="width:
                    37px; height: 37px;" alt="[Butterfly]"
-                  title="Butterfly" src="download/b5.png"></h3>
+                  title="Butterfly" src="images/b5.png"></h3>
                <a name="lddl"></a><img style="width: 32px; height: 32px;"
                  alt="[Crux Logo]" title="The Crux"
-                src="download/crux_32.png"><span style="font-weight:
+                src="images/crux_32.png"><span style="font-weight:
                  bold;"> </span>The <span style="font-weight: bold;"><span
                    style="text-decoration: underline;">λδ
                    Digital
@@ -183,7 +183,7 @@ href="static/lddl/crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.ht
                <br>
                <a name="helena"></a><span style="font-weight: bold;"><img
                    style="width: 32px; height: 32px;" alt="[Helena Logo]"
-                  title="Helena" src="download/helena_32.png"> <span
+                  title="Helena" src="images/helena_32.png"> <span
                    style="text-decoration: underline;">Helena</span></span>
                is a λδ
                processor,
@@ -268,7 +268,7 @@ computer
                </ul>
                <h3 style="text-align: right;">Other resources <img
                    style="width: 37px; height: 37px;" alt="[Butterfly]"
-                  title="Butterfly" src="download/b4.png"></h3>
+                  title="Butterfly" src="images/b4.png"></h3>
                <ul>
                  <li><a name="bibtex"></a>A
                    BibTeX database of λδ documentation: <a
@@ -312,10 +312,10 @@ computer
            style="border: 0px solid ; width: 88px; height: 31px;"></a> <a
          href="http://www.anybrowser.org/campaign/"><img alt="[Use Any
            Browser Here]" title="Use Any Browser Here"
-          src="download/globe_trans.png" style="border: 0px solid ;
+          src="images/globe_trans.png" style="border: 0px solid ;
            width: 147px; height: 42px;"></a> <img style="width: 88px;
          height: 31px;" alt="[PNG Used Here]" title="PNG Used Here"
-        src="download/PNGnow2.png"><br>
+        src="images/PNGnow2.png"><br>
        <br>
        Last update 2012-12-01 by <a
          href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio