From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 21 May 2003 16:58:46 +0000 (+0000)
Subject: attributes stripped from searchPattern query (as in the new query generator)
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;hp=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;p=helm.git

attributes stripped from searchPattern query (as in the new query generator)
---