- source web pages for lambdadelta_1

[helm.git] / helm / www / lambdadelta / web / home / osn.ldw.xml

diff --git a/helm/www/lambdadelta/web/home/osn.ldw.xml b/helm/www/lambdadelta/web/home/osn.ldw.xml
index ef8580bb8c47b9ac7c3097cdc98d912c81d915fa..d83efaaafb2949fdc03c5527266ad078b754ecb7 100644 (file)
--- 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/>