[z3-checkins] r55527 - in z3/deliverance/sandboxes/paul: dvng dvngtutorial

[paul at codespeak.net]

Author: paul
Date: Tue Jun  3 20:59:07 2008
New Revision: 55527

Added:
   z3/deliverance/sandboxes/paul/dvngtutorial/
      - copied from r55526, z3/deliverance/sandboxes/paul/dvng/
Removed:
   z3/deliverance/sandboxes/paul/dvng/
Log:
Renaming dvng to dvngtutorial