X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fosn.ldw.xml;h=45920eb7d30d2973164e70fedc6d8173ab2f47ea;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=ef8580bb8c47b9ac7c3097cdc98d912c81d915fa;hpb=f39d53ed5f2a11cacbfabf5348e01b47d19479e5;p=helm.git diff --git a/helm/www/lambdadelta/web/home/osn.ldw.xml b/helm/www/lambdadelta/web/home/osn.ldw.xml index ef8580bb8..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. - In order to meet theese design goals, OSN pursues the following features. + 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