[z3-checkins] r26717 - z3/hurry/tag/hurry-0.8

[faassen at codespeak.net]

Author: faassen
Date: Wed May  3 11:51:56 2006
New Revision: 26717

Added:
   z3/hurry/tag/hurry-0.8/
      - copied from r26716, z3/hurry/trunk/
Log:
Create hurry 0.8 release tag.