[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/20130218/9264eea7/attachment.htm>