]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/osn.html
more corrections to xhtml
[helm.git] / helm / www / lambdadelta / osn.html
index db920807379c51a17cb8b2444329ddfe967670c8..41fe2ee6423cf0d29c9d092687c3b2e3532f2736 100644 (file)
@@ -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,
     <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>