X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fosn.ldw.xml;h=1f56010588f35eb77b065d0dcf5d5359a2e667d7;hb=ed87c2c166f9f5db2729772e55154d7858dae4d6;hp=d83efaaafb2949fdc03c5527266ad078b754ecb7;hpb=b6e1db4f1b0f1d5121f2b214562f96c5b0fa544e;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..1f5601058 100644 --- a/helm/www/lambdadelta/web/home/osn.ldw.xml +++ b/helm/www/lambdadelta/web/home/osn.ldw.xml @@ -10,7 +10,7 @@ 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 +57,8 @@ and are available for extensions of OSN. + The grammar of OSN is very liberal by design. + Spaces of the form