]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/homepage/features.html
features: patched
[helm.git] / 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>