[z3-checkins] r56002 - z3/deliverance/tags/0.2

[ianb at codespeak.net]

Author: ianb
Date: Sat Jun 21 02:44:21 2008
New Revision: 56002

Added:
   z3/deliverance/tags/0.2/
      - copied from r56001, z3/deliverance/trunk/
Log:
Tagging 0.2 version