From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 5 Nov 2003 10:04:44 +0000 (+0000)
Subject: updated to version 1.4
X-Git-Tag: V_0_2_2~32
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=775d16eb4ae817947aa47b7067ca8e5b42e0f369;p=helm.git

updated to version 1.4
---

diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html
index 45edae9d3..67bb704a4 100644
--- a/helm/mathql/homepage/documentation.html
+++ b/helm/mathql/homepage/documentation.html
@@ -85,6 +85,10 @@
   The newest features of MathQL-1, which are not included in this documentation,
  are reported in the <a href="whatsnew.html">What's new</a> section.<br>
               <br>
+F. Guidi, C. Sacerdoti Coen:
+\emph{Querying Distributed Digital Libraries of Mathematics}.
+Negli Atti di 11th Symposium on the Integration of Symbolic Computation and
+Mechanized Reasoning (Calculemus 2003). Aracne (settembre 2003), pp. 17-30. 
               <br>
               <b>Papers concerning the latest version of MathQL-1:</b><br>