From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 17 Mar 2003 22:28:43 +0000 (+0000)
Subject: features: patched
X-Git-Tag: before_refactoring~110
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7766a767013f91cf34cc4d82782f71a280ce41ef;p=helm.git

features: patched
---

diff --git a/helm/mathql/homepage/features.html b/helm/mathql/homepage/features.html
index e7ba6a0c7..ba266b5e8 100644
--- a/helm/mathql/homepage/features.html
+++ b/helm/mathql/homepage/features.html
@@ -75,7 +75,7 @@ of compound values of properties.</li>
         </ul>
         <ul>
           <li>MathQL-1 provides a full set of Boolean operators to compose
-query constraints and facilities for selecting URI's or literals by means
+the query constraints and facilities for selecting URI's or literals by means
 of regular expressions.</li>
         </ul>
         <ul>