X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fimplementation.ldw.xml;h=9ddcbf34ecccff55fe71ca70a2b6e2d5fce74f2e;hb=f8f7942a189860b2fe0fe60765385a7d17a93033;hp=32139b3a65c8dd4b014fc85f5afb976cb42e73ae;hpb=f39d53ed5f2a11cacbfabf5348e01b47d19479e5;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 32139b3a6..9ddcbf34e 100644
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -16,8 +16,8 @@
       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.
-      Additional information will appear soon.
+      generic abstract syntax trees in the domain of formal languages.
+      Additional information is available at <rlink to="osn/">OSN web site</rlink>.
    </body>