bugfix in uri's: missing "/" added to baseuri's where necessary

diff --git a/helm/software/helena/Make b/helm/software/helena/Make
index f5f4524de6c69d6483a0d6be89468dbece22bf5c..4cfa2519d08ec836aca9841f4e9941dd0cdbdb26 100644 (file)
--- a/helm/software/helena/Make
+++ b/helm/software/helena/Make
@@ -2,10 +2,6 @@
 Make* 
 README 
 examples/grundlagen/*.aut 
-icons/*.ico
-icons/*.png
 src/*.ml
 src/Make*
 src/*/*
-xml/*.dtd 
-xml/*.xsl 

diff --git a/helm/software/helena/Makefile b/helm/software/helena/Makefile
index 9c1df551ff8cb2ee8665bec072b592979b073c50..f943608eaf55d35df5cdfe9774f812a52a1794a5 100644 (file)
--- a/helm/software/helena/Makefile
+++ b/helm/software/helena/Makefile
@@ -14,7 +14,7 @@ TAGS = test-si test-si-fast profile xml-si xml-si-crg
 
 include Makefile.common
 
-XMLDIR  = $(HOME)/svn/helm-stable/www/lambdadelta
+XMLDIR  = $(HOME)/svn/helm_stable/www/lambdadelta
 
 INPUT = examples/grundlagen/grundlagen.aut
 

diff --git a/helm/software/helena/Makefile.common b/helm/software/helena/Makefile.common
index 1fbcd619bc4f0757f8881a2b891b094a0ac25bc1..34c521bb6eeeae2b8446ede553b9aad3fae4b0a2 100644 (file)
--- a/helm/software/helena/Makefile.common
+++ b/helm/software/helena/Makefile.common
@@ -7,7 +7,7 @@ endif
 
 RELISE = $(MAIN:%=%_$(shell cat MakeVersion))
 
-DOWNDIR = $(HOME)/svn/helm-stable/www/lambdadelta/download
+DOWNDIR = $(HOME)/svn/helm_stable/www/lambdadelta/download
 
 DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make))
 

diff --git a/helm/software/helena/src/common/ccs.ml b/helm/software/helena/src/common/ccs.ml
index db8a7786575ce3dca266a41c32fcbc9ded12ca51..5364d1e079b61402d8d6a89231bc087c0afaaa5a 100644 (file)
--- a/helm/software/helena/src/common/ccs.ml
+++ b/helm/software/helena/src/common/ccs.ml
@@ -16,10 +16,10 @@ module E = Entity
 module G = Options
 
 type csys = {
-           uri: E.uri;
-   mutable tp : int list;
-   mutable t1 : int list;
-   mutable tn : (int * int) list;
+           buri: E.uri;
+   mutable tp  : int list;
+   mutable t1  : int list;
+   mutable tn  : (int * int) list;
 }
 
 let mark a = E.mark C.err C.start a
@@ -27,7 +27,7 @@ let mark a = E.mark C.err C.start a
 (* interface functions ******************************************************)
 
 let init () = {
-   uri = U.uri_of_string (G.get_baseuri ());
+   buri = U.uri_of_string (G.get_baseuri ());
    tp = []; t1 = []; tn = []
 }
 

diff --git a/helm/software/helena/src/common/ccs.mli b/helm/software/helena/src/common/ccs.mli
index 4d11ddd7c6a6e497d8052bc701bf03a49f487f9f..f263d8a089542eaf121d7e0e0bf31a1bc8649695 100644 (file)
--- a/helm/software/helena/src/common/ccs.mli
+++ b/helm/software/helena/src/common/ccs.mli
@@ -10,10 +10,10 @@
       V_______________________________________________________________ *)
 
 type csys = {
-           uri: Entity.uri;
-   mutable tp : int list;
-   mutable t1 : int list;
-   mutable tn : (int * int) list;
+           buri: Entity.uri;
+   mutable tp  : int list;
+   mutable t1  : int list;
+   mutable tn  : (int * int) list;
 }
 
 val init: unit -> csys

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index 8cc200ad92b025b9063e171f6a6fe4782aecfbad..a2c749872e525f612b610152089373d35df123e2 100644 (file)
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -9,6 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+module F = Filename
 module C = Cps
 
 type uri_generator = string -> string
@@ -49,11 +50,11 @@ let kernel_id () =
    id ^ si
 
 let get_baseuri () =
-   String.concat "/" ["ld:"; kernel_id (); !cover ]
+   String.concat "/" ["ld:"; kernel_id (); !cover; "" ]
 
 let get_mk_uri () =
    let bu = get_baseuri () in
-   fun s -> bu ^ "/" ^ s ^ ".ld"
+   fun s -> F.concat bu (s ^ ".ld")
 
 let clear () =
    xdir := ""; kernel := Brg; si := false; cover := ""; 

diff --git a/helm/software/helena/src/xml/xmlLibrary.ml b/helm/software/helena/src/xml/xmlLibrary.ml
index 5ca87bdfd69231a2ac266e461dba9259479cc97e..91225c336135384c73c48b60e492dfb0bb76714a 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.ml
+++ b/helm/software/helena/src/xml/xmlLibrary.ml
@@ -30,9 +30,9 @@ let ccs_name = "ccs.ldc"
 
 let ccs_root = "CCS"
 
-let home = "http://lambdadelta.info"
+let home = "http://lambdadelta.info/"
 
-let system = home ^ "/" ^ base ^ "/ld.dtd"
+let system = F.concat (F.concat home base) "ld.dtd"
 
 let xmlns = "xmlns", home
 
@@ -177,13 +177,13 @@ let nexts = function
    | l  -> "next", String.concat " " (List.rev_map next_map l)
 
 let export_csys s = 
-   let path = path_of_uri !G.xdir s.Q.uri in
+   let path = path_of_uri !G.xdir s.Q.buri in
    let _ = Sys.command (Printf.sprintf "mkdir -p %s" path) in
    let name = F.concat path (ccs_name ^ ext) in
    let och = open_out name in
    let out = output_string och in
    xml out "1.0" "UTF-8"; doctype out ccs_root system;
-   let attrs = [xmlns; uri s.Q.uri] in
+   let attrs = [xmlns; uri s.Q.buri] in
    let contents out tab =
       tag "ToPositive" [arity s.Q.tp; marks s.Q.tp] out tab;
       tag "ToOne" [arity s.Q.t1; marks s.Q.t1] out tab;

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index ec1ba2de07bf40d80e5708c715232e2690dc408e..3d0d75fbf563c2cf40e612e0280065ede447bf93 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml" xmlns:ld="http://lambdadelta.info">
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:ld="http://lambdadelta.info/">
   <head>
     <meta http-equiv="Content-Language" content="en-us"/>
     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
@@ -20,6 +20,6 @@
    </div>
    <div class="text"><table cellpadding="4" cellspacing="0"><tbody><tr><td class="snns component grey">class</td><td class="snns text grey">contents</td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="snnn number grey"><br/></td><td class="ssnn number grey"><br/></td></tr><tr><td class="snns component orange">p</td><td class="snns text orange"><br/></td><td class="snnn number orange">1</td><td class="snnn number orange">4</td><td class="snnn number orange">7</td><td class="snnn number orange">10</td><td class="snnn number orange">13</td><td class="snnn number orange">16</td><td class="snnn number orange">19</td><td class="snnn number orange">22</td><td class="snnn number orange">25</td><td class="snnn number orange">28</td><td class="snnn number orange">31</td><td class="snnn number orange">34</td><td class="snnn number orange">37</td><td class="snnn number orange">40</td><td class="ssnn number orange">43</td></tr><tr><td class="snns component green">q</td><td class="snns text green"><br/></td><td class="snnn number green">5</td><td class="snnn number green">11</td><td class="snnn number green">15</td><td class="snnn number green">17</td><td class="snnn number green">23</td><td class="snnn number green">29</td><td class="snnn number green">33</td><td class="snnn number green">35</td><td class="snnn number green">41</td><td class="snnn number green">45</td><td class="snnn number green"><br/></td><td class="snnn number green"><br/></td><td class="snnn number green"><br/></td><td class="snnn number green"><br/></td><td class="ssnn number green"><br/></td></tr><tr><td class="snns component sky">s</td><td class="snns text sky"><br/></td><td class="snnn number sky">2</td><td class="snnn number sky">6</td><td class="snnn number sky">8</td><td class="snnn number sky">14</td><td class="snnn number sky">18</td><td class="snnn number sky">20</td><td class="snnn number sky">24</td><td class="snnn number sky">26</td><td class="snnn number sky">32</td><td class="snnn number sky">38</td><td class="snnn number sky">42</td><td class="snnn number sky">44</td><td class="snnn number sky"><br/></td><td class="snnn number sky"><br/></td><td class="ssnn number sky"><br/></td></tr><tr><td class="snss component magenta">t</td><td class="snss text magenta"><br/></td><td class="snsn number magenta">3</td><td class="snsn number magenta">9</td><td class="snsn number magenta">12</td><td class="snsn number magenta">21</td><td class="snsn number magenta">27</td><td class="snsn number magenta">30</td><td class="snsn number magenta">36</td><td class="snsn number magenta">39</td><td class="snsn number magenta"><br/></td><td class="snsn number magenta"><br/></td><td class="snsn number magenta"><br/></td><td class="snsn number magenta"><br/></td><td class="snsn number magenta"><br/></td><td class="snsn number magenta"><br/></td><td class="sssn number magenta"><br/></td></tr></tbody></table></div>
 
-   <div class="spacer"><img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png"/></div><div class="spacer"><br/></div><div class="spacer"><a href="http://validator.w3.org/check?uri=referer"><img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue"/></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue"/></a><a href="http://www.w3.org/XML/"><img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png"/></a><a href="http://www.w3.org/Graphics/PNG/"><img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png"/></a><a href="http://www.anybrowser.org/campaign/"><img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"/></a></div><div class="spacer"><br/></div><div class="spacer">Last update: 2012-12-01T17:55:33+01:00</div>
+   <div class="spacer"><img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png"/></div><div class="spacer"><br/></div><div class="spacer"><a href="http://validator.w3.org/check?uri=referer"><img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue"/></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue"/></a><a href="http://www.w3.org/XML/"><img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png"/></a><a href="http://www.w3.org/Graphics/PNG/"><img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png"/></a><a href="http://www.anybrowser.org/campaign/"><img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"/></a></div><div class="spacer"><br/></div><div class="spacer">Last update: 2012-12-02T17:25:27+01:00</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 80c3d45b0c930d415c8ee3ff5835be509b1c4a7c..ce05f226bffe628ea38bf3bcf9f78e470dd0ba46 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml" xmlns:ld="http://lambdadelta.info">
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:ld="http://lambdadelta.info/">
   <head>
     <meta http-equiv="Content-Language" content="en-us"/>
     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
@@ -57,6 +57,6 @@
    <div class="text">The source files are grouped in directories,
          one for each component.
    </div>
-   <div class="spacer"><img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png"/></div><div class="spacer"><br/></div><div class="spacer"><a href="http://validator.w3.org/check?uri=referer"><img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue"/></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue"/></a><a href="http://www.w3.org/XML/"><img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png"/></a><a href="http://www.w3.org/Graphics/PNG/"><img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png"/></a><a href="http://www.anybrowser.org/campaign/"><img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"/></a></div><div class="spacer"><br/></div><div class="spacer">Last update: 2012-12-01T17:55:33+01:00</div>
+   <div class="spacer"><img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png"/></div><div class="spacer"><br/></div><div class="spacer"><a href="http://validator.w3.org/check?uri=referer"><img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue"/></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue"/></a><a href="http://www.w3.org/XML/"><img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png"/></a><a href="http://www.w3.org/Graphics/PNG/"><img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png"/></a><a href="http://www.anybrowser.org/campaign/"><img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"/></a></div><div class="spacer"><br/></div><div class="spacer">Last update: 2012-12-02T17:25:27+01:00</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 8019b44f8d50d6ba52fe5ccfda0d4067959d2288..b7988087c9fdae28483cef4ebc5d83dd925850bf 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml" xmlns:ld="http://lambdadelta.info">
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:ld="http://lambdadelta.info/">
   <head>
     <meta http-equiv="Content-Language" content="en-us"/>
     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
@@ -83,6 +83,6 @@
    <div class="text">The source files are grouped in directories,
          one for each component.
    </div>
-   <div class="spacer"><img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png"/></div><div class="spacer"><br/></div><div class="spacer"><a href="http://validator.w3.org/check?uri=referer"><img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue"/></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue"/></a><a href="http://www.w3.org/XML/"><img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png"/></a><a href="http://www.w3.org/Graphics/PNG/"><img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png"/></a><a href="http://www.anybrowser.org/campaign/"><img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"/></a></div><div class="spacer"><br/></div><div class="spacer">Last update: 2012-12-01T17:55:33+01:00</div>
+   <div class="spacer"><img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png"/></div><div class="spacer"><br/></div><div class="spacer"><a href="http://validator.w3.org/check?uri=referer"><img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue"/></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue"/></a><a href="http://www.w3.org/XML/"><img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png"/></a><a href="http://www.w3.org/Graphics/PNG/"><img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png"/></a><a href="http://www.anybrowser.org/campaign/"><img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"/></a></div><div class="spacer"><br/></div><div class="spacer">Last update: 2012-12-02T17:25:27+01:00</div>
 </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 425084d70d3e30bd4b65168a54c8feb9fedcfd99..db35152fb9a2b7ed461fccecf9b842df566e517e 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -10,7 +10,7 @@
     <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="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
+      <a href="http://lambdadelta.info/"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
       <h1>The Formal System λδ (\lambda\delta)<br>
       </h1>
       <h2>Towards the unification of terms, types, environments and
@@ -299,4 +299,4 @@ Guidi:
     </div>
   
 
-</body></html>
\ No newline at end of file
+</body></html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index e5ecc5760a941cabbf720cc6d11bf92fa3861f26..75a81d02f1b46109f3ca07baf8dae94ee2fabe00 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -10,7 +10,7 @@
     <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="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
+      <a href="http://lambdadelta.info/"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
       <h1>The Formal System λδ (\lambda\delta)<br>
       </h1>
       <h2>Towards the unification of terms, types, environments and
@@ -130,7 +130,8 @@ Formal
                   <span style="font-weight: bold;"></span></li>
               </ul>
               <ul>
-                <li><span style="font-weight: bold;">Access:</span> <a href="static/lddl/">static pages</a> (updated <span style="font-weight: bold;">2012-10</span>), <a href="download/lddl.tar.bz2">data set</a> (updated <span style="font-weight: bold;">2012-10</span>), <a href="http://lambdadelta.info/xml">HELM server URL</a>
+                <li><span style="font-weight: bold;">Access:</span> <a
+href="static/lddl/">static pages</a> (updated <span style="font-weight: bold;">2012-10</span>), <a href="download/lddl.tar.bz2">data set</a> (updated <span style="font-weight: bold;">2012-10</span>), <a href="http://lambdadelta.info/xml/">HELM server URL</a>
                   (updated <span style="font-weight: bold;">2012-10</span>).</li>
               </ul>
               <ul>
@@ -250,4 +251,4 @@ computer
         Guidi</a><br>
     </div>
   
-</body></html>
\ No newline at end of file
+</body></html>

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 45fd133bb1a66593e9a081bae4f4e70bee0844ad..62e31753bd6040f68e34993f50db81b7756ddbd8 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -10,7 +10,7 @@
   <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="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
+<a href="http://lambdadelta.info/"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
 <h1>The Formal System λδ (\lambda\delta)<br>
 </h1>
 <h2>Towards the unification of terms, types, environments and contexts</h2>
@@ -142,4 +142,4 @@ Last update 2012-12-02 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 Guidi</a><br>
 </div>
 
-</body></html>
\ No newline at end of file
+</body></html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 1c20541234bf5164386993f72a0213a7e867606f..915d3193dddb1ee37905255c5a39d4d3d5b3727f 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -9,7 +9,7 @@
   <meta content="The formal system λδ" name="description">
   <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="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
+<a href="http://lambdadelta.info/"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
 <h1>The Formal System λδ (\lambda\delta)<br>
 </h1>
 <h2>Towards the unification of terms, types, environments and contexts</h2>
@@ -230,4 +230,4 @@ Last update 2012-12-02 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 Guidi</a><br>
 </div>
 
-</body></html>
\ No newline at end of file
+</body></html>

diff --git a/helm/www/lambdadelta/web/home/BTM.ldw.xml b/helm/www/lambdadelta/web/home/BTM.ldw.xml
index 63f49585e65084783ea7bb62426a558337af9e92..32ee158a1aa90e436126818e9ee628b1cb470c47 100644 (file)
--- a/helm/www/lambdadelta/web/home/BTM.ldw.xml
+++ b/helm/www/lambdadelta/web/home/BTM.ldw.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
-<page xmlns="http://lambdadelta.info"
+<page xmlns="http://lambdadelta.info/"
       description = "BTM"
       title = "BTM"
       head = "cic:/matita/BTM/"

diff --git a/helm/www/lambdadelta/web/home/apps_2.ldw.xml b/helm/www/lambdadelta/web/home/apps_2.ldw.xml
index 6b108c960e25eb1b4559dbcfb9ef06d4e6ccfc49..394568e00b0a750cb78b38e1015d9eb4bf5a17ed 100644 (file)
--- a/helm/www/lambdadelta/web/home/apps_2.ldw.xml
+++ b/helm/www/lambdadelta/web/home/apps_2.ldw.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
-<page xmlns="http://lambdadelta.info"
+<page xmlns="http://lambdadelta.info/"
       description = "applications of lambdadelta version 2"
       title = "applications of lambdadelta version 2"
       head = "cic:/matita/lambdadelta/apps_2/ (applications of λδ version 2)"

diff --git a/helm/www/lambdadelta/web/home/basic_2.ldw.xml b/helm/www/lambdadelta/web/home/basic_2.ldw.xml
index 9159f04110e29d531e8a12e8943578138325d285..c20aa4b1057f4af6976966fa0f0f3e931c1a0f65 100644 (file)
--- a/helm/www/lambdadelta/web/home/basic_2.ldw.xml
+++ b/helm/www/lambdadelta/web/home/basic_2.ldw.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
-<page xmlns="http://lambdadelta.info"
+<page xmlns="http://lambdadelta.info/"
       description = "lambdadelta version 2"
       title = "lambdadelta version 2"
       head = "cic:/matita/lambdadelta/basic_2/ (λδ version 2)"

diff --git a/helm/www/lambdadelta/xml/ld.dtd b/helm/www/lambdadelta/xml/ld.dtd
index 369f8c400ba593ebf60ea0342686aed977efcf04..52afce570a5a8a34d482afe38ad2b2287a60a26d 100644 (file)
--- a/helm/www/lambdadelta/xml/ld.dtd
+++ b/helm/www/lambdadelta/xml/ld.dtd
@@ -103,7 +103,7 @@
 
 <!ELEMENT ENTITY %entity;>
 <!ATTLIST ENTITY
-          xmlns     CDATA    #FIXED    "http://lambdadelta.info"
+          xmlns     CDATA    #FIXED    "http://lambdadelta.info/"
          hierarchy NMTOKEN  #REQUIRED
           options   NMTOKENS #IMPLIED
 >
@@ -135,6 +135,6 @@
 
 <!ELEMENT CCS %ccs;>
 <!ATTLIST CCS
-          xmlns CDATA #FIXED    "http://lambdadelta.info"
+          xmlns CDATA #FIXED    "http://lambdadelta.info/"
           uri   CDATA #REQUIRED
 >

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 7c0afb538430b247049869e865bbb42f15f3af22..cfff0d2d70234fc18ce97f9e9a9c7ee9c739d27f 100644 (file)
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -3,7 +3,7 @@
 <xsl:stylesheet version="1.0"
                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                xmlns:date="http://exslt.org/dates-and-times"
-                xmlns:ld="http://lambdadelta.info"
+                xmlns:ld="http://lambdadelta.info/"
                 xmlns="http://www.w3.org/1999/xhtml"
                 extension-element-prefixes="date"
 >

diff --git a/helm/www/lambdadelta/xslt/lddl_entity.xsl b/helm/www/lambdadelta/xslt/lddl_entity.xsl
index 99f699d9b36dd34a682621d705a54e223b122af7..9145173e8a295bbe55b274d375cb1667714f3782 100644 (file)
--- a/helm/www/lambdadelta/xslt/lddl_entity.xsl
+++ b/helm/www/lambdadelta/xslt/lddl_entity.xsl
@@ -12,7 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns:ld="http://lambdadelta.info"
+                              xmlns:ld="http://lambdadelta.info/"
                               xmlns="http://www.w3.org/1999/xhtml"
 >
 

diff --git a/helm/www/lambdadelta/xslt/lddl_library.xsl b/helm/www/lambdadelta/xslt/lddl_library.xsl
index e69468a9d4cdd6385a75dd669eb8cb928b85f8fa..9eccd5b85f784caaa9d6bbe7272742bdf68fd26c 100644 (file)
--- a/helm/www/lambdadelta/xslt/lddl_library.xsl
+++ b/helm/www/lambdadelta/xslt/lddl_library.xsl
@@ -12,7 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns:ld="http://lambdadelta.info"
+                              xmlns:ld="http://lambdadelta.info/"
                               xmlns="http://www.w3.org/1999/xhtml"
 >
 

diff --git a/helm/www/lambdadelta/xslt/lddl_root.xsl b/helm/www/lambdadelta/xslt/lddl_root.xsl
index ba2dd9028ee17702ed767a8309d1c138f10ea954..58bddb0a55c8554280168b23b669733d1ffda865 100644 (file)
--- a/helm/www/lambdadelta/xslt/lddl_root.xsl
+++ b/helm/www/lambdadelta/xslt/lddl_root.xsl
@@ -12,7 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns:ld="http://lambdadelta.info"
+                              xmlns:ld="http://lambdadelta.info/"
                              xmlns="http://www.w3.org/1999/xhtml"
 >
 

diff --git a/helm/www/lambdadelta/xslt/lddl_term.xsl b/helm/www/lambdadelta/xslt/lddl_term.xsl
index d2cb461a36e0a0d6c507e5c6ba4ce21ad681a360..01ccff3bb9fbab80d211f252f4fae0df9eee6e56 100644 (file)
--- a/helm/www/lambdadelta/xslt/lddl_term.xsl
+++ b/helm/www/lambdadelta/xslt/lddl_term.xsl
@@ -12,7 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns:ld="http://lambdadelta.info"
+                              xmlns:ld="http://lambdadelta.info/"
                               xmlns="http://www.w3.org/1999/xhtml"
 >