]> matita.cs.unibo.it Git - helm.git/commitdiff
improved site map and version 2 page
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Jul 2014 20:55:11 +0000 (20:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Jul 2014 20:55:11 +0000 (20:55 +0000)
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/version_1.html
helm/www/lambdadelta/version_2.html
helm/www/lambdadelta/web/home/sitemap.tbl
helm/www/lambdadelta/web/home/version_2.ldw.xml

index c3c16c3cbe4e04ff5dc4b49b614538631848a5fc..b39df528dd5d3974e7f07aa2097422b8a4993690 100644 (file)
     <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>
index 9fc581eb9f9323556dc236ad97e45970e7392a11..28bf7fe943d6fb5163a1a640eaacafe25e6206af 100644 (file)
     <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>
index 3511fbfb0705ac2586194136823161960b181683..a9ec9e0d43a94307d0ee397ba0488f4551d4c293 100644 (file)
     <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>
index e79359b0de77f561c270737438eaa1525f49a423..cf41c1752780779cd50072c05034a7afe074a7d5 100644 (file)
     <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>
index cd48d35d4c1fe2d24dac1b2f0930c013d05095c4..f6d02442e85f0305e74634a95e25da6d73f60c1a 100644 (file)
       <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>
     <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>
index 5bf4e0abdc83f0762f5ec5b85ff18079fbab7bde..6038c0055265b5d12992fb04012ba02a5928abbb 100644 (file)
       <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>
     <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>
index 27030b1f7bbc4b0b56344aee573140b70163655d..0fd6da6dc6c9b5500a16a228c7844a6afdd2a523 100644 (file)
       <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>
          <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">
     <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>
index 7e2969bc9cdc4b788c48d539541526fd5ffdbdab..e29f80dd9d82792c1cea1d3f2ac182084163d8c5 100644 (file)
@@ -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" [ * ]
index 8da683d99373dd1b4db0e8d93e3ae71790c507d8..4fc844a1d3023f99b0572be70b93d9a8ac880432 100644 (file)
          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/>