X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fimplementation.ldw.xml;h=9ddcbf34ecccff55fe71ca70a2b6e2d5fce74f2e;hb=6864d67d5a0e5950a4d5f744866e89215e08ace0;hp=32139b3a65c8dd4b014fc85f5afb976cb42e73ae;hpb=ed87c2c166f9f5db2729772e55154d7858dae4d6;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>