Web site update

[helm.git] / helm / www / lambdadelta / web / home / index.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml

index e37ac33b26f2a99b7f17f08097e27aab5e1d794d..7f07c502b78e68e7035c46ea78db6cc1e8ab1248 100644 (file)
--- a/helm/www/lambdadelta/web/home/index.ldw.xml
+++ b/helm/www/lambdadelta/web/home/index.ldw.xml
@@ -18,7 +18,7 @@
        λδ is developed in the context of the
        <link to="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics</link>
        as a machine-checked digital specification
-      that is not the formal counterpart of some previously published informal material.
+      that is not the formal counterpart of previous informal material.
     </body>
     <body>
        This is the System logo: <rlink to="images/crux_177.png">crux_177.png</rlink>