From: Ferruccio Guidi 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 formal languages. +
-
  • Optionally qualified 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. +
  • -
  • The US-ASCII character set, @@ -187,6 +187,6 @@

    -
    Last update: Fri, 22 Jul 2016 19:37:02 +0200
    +
    Last update: Fri, 22 Jul 2016 19:42:53 +0200
    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 . - + +