This question was answered yesterday: http://lemma-one.com/pipermail/proofpower_lemma-one.com/2013-February/000980.html
Your chances of spotting replies to the list may be increased if you change your mailing list options to be a "non-digested member". (Do this at
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com and use the button at the bottom to edit your options.) On 17/02/13 17:03, khan khan wrote:
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 _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
