[z3-checkins] r28485 - z3/pythonproducts/tags/1.0beta2

[rocky at codespeak.net]

Author: rocky
Date: Wed Jun  7 21:04:30 2006
New Revision: 28485

Added:
   z3/pythonproducts/tags/1.0beta2/
      - copied from r28484, z3/pythonproducts/trunk/
Log:
Tagged new 1.0beta2 release of pythonproducts.