From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 6 Jul 2014 20:55:11 +0000 (+0000)
Subject: improved site map and version 2 page
X-Git-Tag: make_still_working~878
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4b72bec9d6fc7970cf4a2bc4a1fc4060e71af3f2;p=helm.git

improved site map and version 2 page
---

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index c3c16c3cb..b39df528d 100644
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -223,6 +223,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 20:28:30 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 9fc581eb9..28bf7fe94 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -191,6 +191,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 20:28:30 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 3511fbfb0..a9ec9e0d4 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -1300,6 +1300,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 20:28:30 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index e79359b0d..cf41c1752 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -234,6 +234,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 20:28:30 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index cd48d35d4..f6d02442e 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -30,18 +30,73 @@
       <table cellpadding="4" cellspacing="0">
         <tbody>
           <tr>
-            <td class="snss component sky">
+            <td class="snns component sky">
               <a href="http://lambdadelta.info/index.html">foreword</a>
             </td>
-            <td class="snss component magenta">
+            <td class="snns component magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
             </td>
-            <td class="snss component orange">
+            <td class="snns component orange">
               <a href="http://lambdadelta.info/documentation.html">documentation</a>
             </td>
-            <td class="ssss component green">
+            <td class="snns component green">
               <a href="http://lambdadelta.info/implementation.html">implementation</a>
             </td>
+            <td class="snnn component green">
+              <br />
+            </td>
+            <td class="snnn component green">
+              <br />
+            </td>
+            <td class="ssnn component green">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="snns sky">
+              <br />
+            </td>
+            <td class="snns magenta">
+              <br />
+            </td>
+            <td class="snns orange">
+              <br />
+            </td>
+            <td class="snns green">
+              <a href="http://lambdadelta.info/version_2.html">Version 2</a>
+            </td>
+            <td class="snnn green">
+              <a href="http://lambdadelta.info/ground_2.html">Background</a>
+            </td>
+            <td class="snnn green">
+              <a href="http://lambdadelta.info/basic_2.html">Core</a>
+            </td>
+            <td class="ssnn green">
+              <a href="http://lambdadelta.info/apps_2.html">Applications</a>
+            </td>
+          </tr>
+          <tr>
+            <td class="nnss sky">
+              <br />
+            </td>
+            <td class="nnss magenta">
+              <br />
+            </td>
+            <td class="nnss orange">
+              <br />
+            </td>
+            <td class="snss green">
+              <a href="http://lambdadelta.info/version_1.html">Version 1</a>
+            </td>
+            <td class="snsn green">
+              <br />
+            </td>
+            <td class="snsn green">
+              <br />
+            </td>
+            <td class="sssn green">
+              <br />
+            </td>
           </tr>
         </tbody>
       </table>
@@ -143,6 +198,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 20:28:30 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html
index 5bf4e0abd..6038c0055 100644
--- a/helm/www/lambdadelta/version_1.html
+++ b/helm/www/lambdadelta/version_1.html
@@ -30,18 +30,73 @@
       <table cellpadding="4" cellspacing="0">
         <tbody>
           <tr>
-            <td class="snss component sky">
+            <td class="snns component sky">
               <a href="http://lambdadelta.info/index.html">foreword</a>
             </td>
-            <td class="snss component magenta">
+            <td class="snns component magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
             </td>
-            <td class="snss component orange">
+            <td class="snns component orange">
               <a href="http://lambdadelta.info/documentation.html">documentation</a>
             </td>
-            <td class="ssss component green">
+            <td class="snns component green">
               <a href="http://lambdadelta.info/implementation.html">implementation</a>
             </td>
+            <td class="snnn component green">
+              <br />
+            </td>
+            <td class="snnn component green">
+              <br />
+            </td>
+            <td class="ssnn component green">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="snns sky">
+              <br />
+            </td>
+            <td class="snns magenta">
+              <br />
+            </td>
+            <td class="snns orange">
+              <br />
+            </td>
+            <td class="snns green">
+              <a href="http://lambdadelta.info/version_2.html">Version 2</a>
+            </td>
+            <td class="snnn green">
+              <a href="http://lambdadelta.info/ground_2.html">Background</a>
+            </td>
+            <td class="snnn green">
+              <a href="http://lambdadelta.info/basic_2.html">Core</a>
+            </td>
+            <td class="ssnn green">
+              <a href="http://lambdadelta.info/apps_2.html">Applications</a>
+            </td>
+          </tr>
+          <tr>
+            <td class="nnss sky">
+              <br />
+            </td>
+            <td class="nnss magenta">
+              <br />
+            </td>
+            <td class="nnss orange">
+              <br />
+            </td>
+            <td class="snss green">
+              <a href="http://lambdadelta.info/version_1.html">Version 1</a>
+            </td>
+            <td class="snsn green">
+              <br />
+            </td>
+            <td class="snsn green">
+              <br />
+            </td>
+            <td class="sssn green">
+              <br />
+            </td>
           </tr>
         </tbody>
       </table>
@@ -131,6 +186,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 20:36:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html
index 27030b1f7..0fd6da6dc 100644
--- a/helm/www/lambdadelta/version_2.html
+++ b/helm/www/lambdadelta/version_2.html
@@ -30,18 +30,73 @@
       <table cellpadding="4" cellspacing="0">
         <tbody>
           <tr>
-            <td class="snss component sky">
+            <td class="snns component sky">
               <a href="http://lambdadelta.info/index.html">foreword</a>
             </td>
-            <td class="snss component magenta">
+            <td class="snns component magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
             </td>
-            <td class="snss component orange">
+            <td class="snns component orange">
               <a href="http://lambdadelta.info/documentation.html">documentation</a>
             </td>
-            <td class="ssss component green">
+            <td class="snns component green">
               <a href="http://lambdadelta.info/implementation.html">implementation</a>
             </td>
+            <td class="snnn component green">
+              <br />
+            </td>
+            <td class="snnn component green">
+              <br />
+            </td>
+            <td class="ssnn component green">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="snns sky">
+              <br />
+            </td>
+            <td class="snns magenta">
+              <br />
+            </td>
+            <td class="snns orange">
+              <br />
+            </td>
+            <td class="snns green">
+              <a href="http://lambdadelta.info/version_2.html">Version 2</a>
+            </td>
+            <td class="snnn green">
+              <a href="http://lambdadelta.info/ground_2.html">Background</a>
+            </td>
+            <td class="snnn green">
+              <a href="http://lambdadelta.info/basic_2.html">Core</a>
+            </td>
+            <td class="ssnn green">
+              <a href="http://lambdadelta.info/apps_2.html">Applications</a>
+            </td>
+          </tr>
+          <tr>
+            <td class="nnss sky">
+              <br />
+            </td>
+            <td class="nnss magenta">
+              <br />
+            </td>
+            <td class="nnss orange">
+              <br />
+            </td>
+            <td class="snss green">
+              <a href="http://lambdadelta.info/version_1.html">Version 1</a>
+            </td>
+            <td class="snsn green">
+              <br />
+            </td>
+            <td class="snsn green">
+              <br />
+            </td>
+            <td class="sssn green">
+              <br />
+            </td>
           </tr>
         </tbody>
       </table>
@@ -60,6 +115,14 @@
          <a href="http://lambdadelta.info/implementation.html#bibtex">BibTeX entry</a>
       </li>
       </ul>
+      <ul>
+        <li>
+         <a href="http://lambdadelta.info/ground_2.html">Background</a>,
+         <a href="http://lambdadelta.info/basic_2.html">Core</a>,
+         <a href="http://lambdadelta.info/apps_2.html">Applications</a>.
+         Informational pages on the parts of the specification.
+      </li>
+      </ul>
    </div>
 
    <div class="spacer">
@@ -88,6 +151,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 20:36:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 22:50:18 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/web/home/sitemap.tbl b/helm/www/lambdadelta/web/home/sitemap.tbl
index 7e2969bc9..e29f80dd9 100644
--- a/helm/www/lambdadelta/web/home/sitemap.tbl
+++ b/helm/www/lambdadelta/web/home/sitemap.tbl
@@ -2,19 +2,21 @@ name "sitemap"
 
 table [
    class "sky" {
-      [ @@("index" "foreword") * ]
+      [ @@("index" "foreword") * ] [ { * } ]  
    }
    class "magenta" {
-      [ @@"news" * ]
+      [ @@"news" * ] [ { * } ]
    }
    class "orange" {
-      [ @@"documentation" * ]
+      [ @@"documentation" * ] [ { * } ]
    }
    class "green" {
       [ @@"implementation" * ]
+      [ @@("version_2" "Version 2") @@("ground_2" "Background") @@("basic_2" "Core") @@("apps_2" "Applications") * ]
+      [ @@("version_1" "Version 1") * ] *
    }
 ]
 
 class "component" [ 0 ]
 
-ext ".html" [ 0 ]
+ext ".html" [ * ]
diff --git a/helm/www/lambdadelta/web/home/version_2.ldw.xml b/helm/www/lambdadelta/web/home/version_2.ldw.xml
index 8da683d99..4fc844a1d 100644
--- a/helm/www/lambdadelta/web/home/version_2.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml
@@ -17,6 +17,12 @@
          Source scripts.
          <rlink to="implementation.html#bibtex">BibTeX entry</rlink>
       </topitem>
+      <topitem>
+         <rlink to="ground_2.html">Background</rlink>,
+         <rlink to="basic_2.html">Core</rlink>,
+         <rlink to="apps_2.html">Applications</rlink>.
+         Informational pages on the parts of the specification.
+      </topitem>
    </body>
 
    <footer/>