]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5e24c92)
nug fix in the location of images
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 1 Dec 2012 18:51:12 +0000 (18:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 1 Dec 2012 18:51:12 +0000 (18:51 +0000)
helm/www/lambdadelta/documentation.html patch | blob | history
helm/www/lambdadelta/implementation.html patch | blob | history
helm/www/lambdadelta/index.html patch | blob | history
helm/www/lambdadelta/news.html patch | blob | history

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 3f24ef43c49b56451bb7d7be978185b88102801b..d855689c24c8b81c98f44d2df3c43ebb7ad42ba9 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.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>
@@ -41,7 +41,7 @@
             <td style="vertical-align: top; text-align: left;">
               <h3 style="text-align: right;">Documentation <img
                   style="width: 37px; height: 37px;" alt="[Butterfly]"
-                  title="Butterfly" src="download/b5.png"></h3>
+                  title="Butterfly" src="images/b5.png"></h3>
               Currently the <span style="font-weight: bold;">main
                 source of
                 information</span> on λδ (version 1) is <span
@@ -54,7 +54,7 @@
               below.<br>
               <h3><img style="width: 32px; height: 32px;" alt="[Basic
                   lambdadelta Logo]" title="Basic lambdadelta"
-                  src="download/basic_32.png"> Basic λδ version 2 (in
+                  src="images/basic_32.png"> Basic λδ version 2 (in
                 progress):</h3>
               <table style="text-align: left; width: 100%;" border="0"
                 cellpadding="2" cellspacing="2">
@@ -143,7 +143,7 @@ href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2009.bib?ncstrl.cabernet//BO
               </table>
               <h3><img style="width: 32px; height: 32px;" alt="[Basic
                   lambdadelta Logo]" title="Basic lambdadelta"
-                  src="download/basic_32.png"> Basic λδ version 1
+                  src="images/basic_32.png"> Basic λδ version 1
                 (dismissed):</h3>
               <table style="text-align: left; width: 100%;" border="0"
                 cellpadding="2" cellspacing="2">
@@ -342,10 +342,10 @@ Guidi:
           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="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"><br>
+        src="http://www.cs.unibo.it/%7Efguidi/images/PNGnow2.png"><br>
       <br>
       Last update 2012-12-01 by <a
         href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
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
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index fc46d7254ae8612578e4a3d090d26b9761346eb4..c27cbfb5a95ba45552608968855d3001220d0b46 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -5,19 +5,19 @@
   <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"
+ 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">
@@ -41,7 +41,7 @@
       <td style="vertical-align: top; text-align: left;">
       <h3 style="text-align: right;">Foreword <img
  style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly"
- src="download/b9.png"></h3>
+ src="images/b9.png"></h3>
 The formal system λδ
 (lambdadelta) is a typed lambda calculus that pursues the static and
 dynamic unification of terms, types, environments and contexts while
@@ -145,7 +145,7 @@ the
 Internet
 Explorer
 user <img style="width: 37px; height: 37px;" alt="[Butterfly]"
- title="Butterfly" src="download/b3.png"></h3>
+ title="Butterfly" src="images/b3.png"></h3>
 To view this site
 correctly, please select a font with <a href="http://www.unicode.org/">Unicode</a>
 support.
@@ -167,10 +167,10 @@ Options" entry → "General" tab → "Fonts" button.</span><br>
  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"
+ 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>
+ title="PNG Used Here" src="images/PNGnow2.png"><br>
 <br>
 Last update 2012-12-01 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 Guidi</a><br>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 7d581cbb7dbaede08fbf3165dc58db6a668d6525..8bc12e324cec683c1194a64f590171481c048b44 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -5,18 +5,18 @@
   <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"
+ 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">
@@ -40,7 +40,7 @@
       <td style="vertical-align: top; text-align: left;">
       <h3 style="text-align: right;">News <img
  style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly"
- src="download/b5.png"></h3>
+ src="images/b5.png"></h3>
       <ul>
         <li><span style="font-weight: bold;">September 2011.</span> The
 denomination "lambdadelta" changes to "lambdadelta".
@@ -218,7 +218,7 @@ started with Coq 7.3.1.<br>
       </ul>
       <h3 style="text-align: right;">Visibility <img
  style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly"
- src="download/b4.png"></h3>
+ src="images/b4.png"></h3>
       <ul>
         <li><span style="font-weight: bold;">February 2012.</span> The <a
  href="http://www.google.com/">Google</a> search for <span
@@ -246,10 +246,10 @@ this site as the first result.</li>
  href="http://www.anybrowser.org/campaign/"><img
  alt="[Use Any
           Browser Here]" title="Use Any Browser Here"
- src="download/globe_trans.png"
+ 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>
+ title="PNG Used Here" src="images/PNGnow2.png"><br>
 <br>
 Last update 2012-12-01 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 
Unnamed repository; edit this file 'description' to name the repository.