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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com



_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to