]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/osn.ldw.xml
more corrections to xhtml
[helm.git] / helm / www / lambdadelta / web / home / osn.ldw.xml
index 54589fe2071932044b92738c4b3562c81b1f7215..5fa8a698199cd7d4de6f0ccd94d8fcd5531a40f2 100644 (file)
@@ -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