On Feb 16, 2013, at 5:28 AM, khan khan <azurc...@yahoo.com> 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.
"Issued" is just referring to the databases that are built when you install ProofPower and are stored in the subdirectory db. Unfortunately, the example that follows this text is out of date. It should read something like: pp_make_database -p zed my_zed The issued zed database is now called zed rather than pp_zed and pp_make_database should find it automatically. > and kindly also tell me when i run the command xpp -d example_zed then > it says "printer not found, aborting". > regards I have tried to answer this before. It looks as if you are running a different program from the cpp program supplied with ProofPower. What happens if you run xpp using the full pathname, something like: /home/sarah/pp/bin/xpp ? Regards, Rob. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com