From: Ferruccio Guidi 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/?a=commitdiff_plain;h=9a6cf8c3b53fe33515acd1aef8e7c7a10d71ae71;p=helm.git 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 formal languages. -
+ + + + + + + + + + +