[z3-checkins] r34079 - in z3/deliverance/branches/packaged: attic doc

[cabraham at codespeak.net]

Author: cabraham
Date: Thu Nov  2 22:25:23 2006
New Revision: 34079

Added:
   z3/deliverance/branches/packaged/attic/
      - copied from r34078, z3/deliverance/branches/packaged/doc/
Removed:
   z3/deliverance/branches/packaged/doc/
Log:
renamed doc to attic to house out-of-date docs