X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fosn.ldw.xml;h=45920eb7d30d2973164e70fedc6d8173ab2f47ea;hb=f8f7942a189860b2fe0fe60765385a7d17a93033;hp=d83efaaafb2949fdc03c5527266ad078b754ecb7;hpb=b4b18a8f2c3f33fe49edef3bc8068332edf299e2;p=helm.git diff --git a/helm/www/lambdadelta/web/home/osn.ldw.xml b/helm/www/lambdadelta/web/home/osn.ldw.xml index d83efaaaf..45920eb7d 100644 --- a/helm/www/lambdadelta/web/home/osn.ldw.xml +++ b/helm/www/lambdadelta/web/home/osn.ldw.xml @@ -10,10 +10,10 @@ Open Symbolic Notation, abbreviated OSN, is an easy and flexible data-interchange text format intended for the lightweight representation of - generic abstract syntax trees in the domain of formal systems. + generic abstract syntax trees in the domain of formal languages. In order to meet these design goals, OSN pursues the following features.
- - An OSN text uses the UTF-8 character set @@ -62,7 +55,8 @@ and are available for extensions of OSN. + The grammar of OSN is very liberal by design. + Spaces of the form