[ProofPower] making new database

[Phil Clayton]

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