- update in basic_2 and ground_2

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

diff --git a/helm/www/lambdadelta/web/home/version_1.ldw.xml b/helm/www/lambdadelta/web/home/version_1.ldw.xml
index b51c5d5a8ad71556e41e418d8e161e6de03b062e..06a871caeb92575e71fd4567e7977a6ab2a410bb 100644 (file)
--- a/helm/www/lambdadelta/web/home/version_1.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_1.ldw.xml
@@ -15,7 +15,6 @@
          <rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
          (revised <date date="2012-10"/>).
          Source scripts.
-         <rlink to="implementation.html#bibtex">BibTeX entry</rlink>
       </topitem>
       <topitem name="static">
          <rlink to="static/matita/lambdadelta/">lambdadelta_1 for Matita 0.5"</rlink>