From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 22 Jul 2016 17:43:17 +0000 (+0000)
Subject: more corrections to xhtml
X-Git-Tag: make_still_working~548
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=282936907bd9b37d9de37f14e0e497db16f5d8b0;p=helm.git

more corrections to xhtml
---

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index db9208073..41fe2ee64 100644
--- a/helm/www/lambdadelta/osn.html
+++ b/helm/www/lambdadelta/osn.html
@@ -48,8 +48,8 @@
       Apparently, these features fall outside the scope of OSN,
       which targets the data structures of <span class="emph ">formal languages</span>. 
    </span>
+        <br />
       </li>
-      <br />
       <li class="blue-mark">
         <span class="alpha">
       Optionally <a href="https://en.wikipedia.org/wiki/Namespace">qualified</a> symbolic expressions 
@@ -59,8 +59,8 @@
       domain-specific OSN applications can work as expected even if
       data from different domains is added to the text they process.
    </span>
+        <br />
       </li>
-      <br />
       <li class="green-mark">
         <span class="alpha">
       The <a href="https://en.wikipedia.org/wiki/ASCII">US-ASCII</a> character set,
@@ -187,6 +187,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:37:02 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:42:53 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/web/home/osn.ldw.xml b/helm/www/lambdadelta/web/home/osn.ldw.xml
index 54589fe20..5fa8a6981 100644
--- a/helm/www/lambdadelta/web/home/osn.ldw.xml
+++ b/helm/www/lambdadelta/web/home/osn.ldw.xml
@@ -28,7 +28,7 @@
       as well as the support for canonicalization.
       Apparently, these features fall outside the scope of OSN,
       which targets the data structures of <notice text="formal languages"/>. 
-   </style></item><newline/>
+   </style><newline/></item>
    <item class="blue-mark"><style class="alpha">
       Optionally <link to="https://en.wikipedia.org/wiki/Namespace">qualified</link> symbolic expressions 
       allow OSN texts to mix data from different domains preserving their own semantics
@@ -36,7 +36,7 @@
       As a consequence OSN documents are <notice text="easy to extend"/> in that
       domain-specific OSN applications can work as expected even if
       data from different domains is added to the text they process.
-   </style></item><newline/>
+   </style><newline/></item>
    <item class="green-mark"><style class="alpha">
       The <link to="https://en.wikipedia.org/wiki/ASCII">US-ASCII</link> character set,
       extended to <link to="http://www.utf-8.com/">UTF-8</link> in