]> matita.cs.unibo.it Git - helm.git/commitdiff
features: patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 17 Mar 2003 22:28:43 +0000 (22:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 17 Mar 2003 22:28:43 +0000 (22:28 +0000)
helm/mathql/homepage/features.html

index e7ba6a0c7f4c2a302bad40f6ac6f5ac1efcbd83f..ba266b5e8f382b70b37ab345cd71f9b07ceb115b 100644 (file)
@@ -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>