From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 22 Jul 2016 18:01:11 +0000 (+0000)
Subject: xhtml simplified
X-Git-Tag: make_still_working~547
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9a6cf8c3b53fe33515acd1aef8e7c7a10d71ae71

xhtml simplified
---

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index 41fe2ee64..47e9116c4 100644
--- a/helm/www/lambdadelta/osn.html
+++ b/helm/www/lambdadelta/osn.html
@@ -48,8 +48,9 @@
       Apparently, these features fall outside the scope of OSN,
       which targets the data structures of <span class="emph ">formal languages</span>. 
    </span>
-        <br />
       </li>
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="blue-mark">
         <span class="alpha">
       Optionally <a href="https://en.wikipedia.org/wiki/Namespace">qualified</a> symbolic expressions 
@@ -59,8 +60,9 @@
       domain-specific OSN applications can work as expected even if
       data from different domains is added to the text they process.
    </span>
-        <br />
       </li>
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="green-mark">
         <span class="alpha">
       The <a href="https://en.wikipedia.org/wiki/ASCII">US-ASCII</a> character set,
@@ -86,37 +88,43 @@
       <br />
         <span class="emph ebnf">symbol = 1 * symbol-char ; <br />symbol-char = '+' | '-' | '.' | '0' | ... | '9' | 'A' | ... | 'Z' | '_' | '`' | 'a' | ... | 'z' ; </span>
       </li>
-      <br />
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="">
       This token contains free-form text with commonly accepted escape sequences:
       <br />
         <span class="emph ebnf">string = '"' , * ( string-char | "'" | '\' escape ) , '"' ; <br />string-char = ( #0 | ... | #10FFFF ) - ( #0 | ... | #1F | "'" | '\' | '"' | #7F ) ; <br />escape = 1 * space | '"' | "'" | '(' | ')' | '0' | '\' | 'a' | 'b' | 'e' | 'f' | 'n' | 'r' | 't' | ( 'u' , 4 * 4 hex ) | 'v' | ( 'x' , 2 * 2 hex ) ; <br />space = #9 | ... | #D | #20 ; <br />hex = '0' | ... | '9' | 'A' | ... | 'F' | 'a' | ... | 'f' ; </span>
       </li>
-      <br />
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="">
       This token is a widely used alternative of the former token:
       <br />
         <span class="emph ebnf">string-alt = "'" , * ( string-char | '"' | '\' escape ) , "'" ; </span>
       </li>
-      <br />
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="">
       This token separates the qualifiers of a symbolic expression:
       <br />
         <span class="emph ebnf">sep = ':' ; </span>
       </li>
-      <br />
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="">
       This token starts a compound symbolic expression:
       <br />
         <span class="emph ebnf">open = '(' | '&lt;' | '[' | '{' ; </span>
       </li>
-      <br />
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="">
       This token ends a compound symbolic expression:
       <br />
         <span class="emph ebnf">close = ')' | '&gt;' | ']' | '}' ; </span>
       </li>
-      <br />
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="">
       This token is ignored and separates the other tokens:
       <br />
@@ -133,13 +141,15 @@
       <br />
         <span class="emph ebnf">text = * q-expr ; </span>
       </li>
-      <br />
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="">
       A qualified symbolic expression:
       <br />
         <span class="emph ebnf">q-expr = * ( symbol , 1 * sep ) , expr ; </span>
       </li>
-      <br />
+    </ul>
+    <ul xmlns:ld="http://lambdadelta.info/">
       <li class="">
       An unqualified symbolic expression:
       <br />
@@ -187,6 +197,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:42:53 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 22 Jul 2016 19:58: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 5fa8a6981..45920eb7d 100644
--- a/helm/www/lambdadelta/web/home/osn.ldw.xml
+++ b/helm/www/lambdadelta/web/home/osn.ldw.xml
@@ -28,16 +28,16 @@
       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><newline/></item>
-   <item class="blue-mark"><style class="alpha">
+   </style></item></list>
+   <list><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
       because name conflicts can be avoided.
       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><newline/></item>
-   <item class="green-mark"><style class="alpha">
+   </style></item></list>
+   <list><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
       free-form text strings for the convenience of human readers,
@@ -68,7 +68,8 @@
             <str2 of="a"/> <etc/> <str2 of="z"/>
          <stop/>
       </ebnf>
-   </item><newline/><item>
+   </item></list>
+   <list><item>
       This token contains free-form text with commonly accepted escape sequences:
       <newline/><ebnf>
          <prod of="string"/> <def/>
@@ -116,7 +117,8 @@
             <str2 of="a"/> <etc/> <str2 of="f"/>
          <stop/>
       </ebnf>
-   </item><newline/><item>
+   </item></list>
+   <list><item>
       This token is a widely used alternative of the former token:
       <newline/><ebnf>
          <prod of="string-alt"/> <def/>
@@ -129,26 +131,30 @@
             <str1 of="'"/>
          <stop/>
       </ebnf>
-   </item><newline/><item>
+   </item></list>
+   <list><item>
       This token separates the qualifiers of a symbolic expression:
       <newline/><ebnf>
          <prod of="sep"/> <def/> <str2 of=":"/> <stop/>
       </ebnf>
-   </item><newline/><item>
+   </item></list>
+   <list><item>
       This token starts a compound symbolic expression:
       <newline/><ebnf>
          <prod of="open"/> <def/>
             <str2 of="("/> <or/> <str2 of="&lt;"/> <or/> <str2 of="["/> <or/> <str2 of="{"/>
          <stop/>
       </ebnf>
-   </item><newline/><item>
+   </item></list>
+   <list><item>
       This token ends a compound symbolic expression:
       <newline/><ebnf>
          <prod of="close"/> <def/>
             <str2 of=")"/> <or/> <str2 of="&gt;"/> <or/> <str2 of="]"/> <or/> <str2 of="}"/>
          <stop/>
       </ebnf>
-   </item><newline/><item>
+   </item></list>
+   <list><item>
       This token is ignored and separates the other tokens:
       <newline/><ebnf>
          <prod of="gap"/> <def/>
@@ -169,7 +175,8 @@
             <star/> <prod of="q-expr"/>
          <stop/>
       </ebnf>
-   </item><newline/><item>
+   </item></list>
+   <list><item>
       A qualified symbolic expression:
       <newline/><ebnf>
          <prod of="q-expr"/> <def/>
@@ -179,7 +186,8 @@
             <prod of="expr"/>
          <stop/>
       </ebnf>
-   </item><newline/><item>
+   </item></list>
+   <list><item>
       An unqualified symbolic expression:
       <newline/><ebnf>
          <prod of="expr"/> <def/>