From 775d16eb4ae817947aa47b7067ca8e5b42e0f369 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 5 Nov 2003 10:04:44 +0000
Subject: [PATCH] updated to version 1.4

---
 helm/mathql/homepage/documentation.html | 4 ++++
 1 file changed, 4 insertions(+)

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>
                                                                
-- 
2.39.2