[ProofPower] making new database

[khan khan]

hi
i want to ask about that how to make the new database while working in proofpower for zed...i am following proofpower tutorail for zed and it says "For undertaking application work with ProofPower it is first necessary to set up a new database as a child of the issued database ‘pp zed’" .what is an issued database? how to use pp_make_database to make a new database.  and kindly also tell me when i run the command      xpp -d example_zed then it says "printer not found, aborting".
regards

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lemma-one.com/pipermail/proofpower_lemma-one.com/attachments/20130215/32600774/attachment.htm>