Treat PROX the same as AND, OR and NOT. Nice.
authormike <mike>
Fri, 29 Jun 2007 11:56:47 +0000 (11:56 +0000)
committermike <mike>
Fri, 29 Jun 2007 11:56:47 +0000 (11:56 +0000)
commit2a4ef11b9f5353edd4282aceb99fa652b4a9931a
treef10b06d938a226975b06704163b689ef746e6e19
parentf8722e8bef9c0b9d9a553989220e9e1d88dd9e98
Treat PROX the same as AND, OR and NOT.  Nice.
gatherModifiers() now uses matchSymbol() instead of duplicating code.
src/org/z3950/zing/cql/CQLParser.java