X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fosn.ldw.xml;h=d83efaaafb2949fdc03c5527266ad078b754ecb7;hb=b4b18a8f2c3f33fe49edef3bc8068332edf299e2;hp=ef8580bb8c47b9ac7c3097cdc98d912c81d915fa;hpb=503426723b9fc786c69dc988d38726997ecb809a;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..d83efaaaf 100644
--- a/helm/www/lambdadelta/web/home/osn.ldw.xml
+++ b/helm/www/lambdadelta/web/home/osn.ldw.xml
@@ -11,7 +11,7 @@
       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.
+      In order to meet these design goals, OSN pursues the following features.
    </body>
    <list><style class="red-mark"><item><style class="alpha">
       <link to="https://en.wikipedia.org/wiki/S-expression">Symbolic expressions</link>
@@ -24,9 +24,9 @@
       contrary to <link to="http://www.w3.org/TR/2008/REC-xml-20081126/#sec-origin-goals">XML design goal 10</link>.
       Compared to other data-interchange formats based on symbolic expressions,
       like <link to="http://people.csail.mit.edu/rivest/Sexp.txt">canonical symbolic expressions</link>,
-      representing arbitrary data in binary format is a secondary concern in the designn of OSN,
+      representing arbitrary data in binary format is a secondary concern in the design of OSN,
       as well as the support for canonicalization.
-      Apparently, theese features fall outside the scope of OSN,
+      Apparently, these features fall outside the scope of OSN,
       which targets the data structures of <notice text="formal systems"/>. 
    </style></item></style>
    <newline/>