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:




Proofpower mailing list

Reply via email to