[z3-checkins] r27281 - z3/hurry.query/trunk

[faassen at codespeak.net]

Author: faassen
Date: Tue May 16 18:42:49 2006
New Revision: 27281

Added:
   z3/hurry.query/trunk/
      - copied from r27280, z3/hurry/trunk/
Log:
Create new trunk. Will prune it so it only contains hurry.query code.