X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fimplementation.html;h=559993c3d2e9090614759012f46e4b605cb4ce32;hb=2405e80ecd3a66780ef1d27066a648330aacf1b0;hp=8d16e68904737e59463c82497f9bbc47a73f0f4d;hpb=5924405e7f361a8b2bf638e6a361f7f16cdc7ac2;p=helm.git
diff --git a/helm/www/lambda_delta/implementation.html b/helm/www/lambda_delta/implementation.html
index 8d16e6890..559993c3d 100644
--- a/helm/www/lambda_delta/implementation.html
+++ b/helm/www/lambda_delta/implementation.html
@@ -202,8 +202,6 @@ href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%
repository. The Svn revisions containing the stable
versions
of Helena are indicated below.
-