Igor, The various tutorial manuals are the best place to start.
Regards, Rob. On 19 Nov 2009, at 18:41, Igorj V wrote: > it seems after computer reboot error disappeared; > i have one training task to write a specification in Z language about course > register in university; also with a) ; b) additional tasks on proofpower; > just no idea what to read first from documentation on proofpower ?! > > 2009/11/18 Rob Arthan <[email protected]> > Igorj, > > Can you try running it like this to give some more diagnostic output: > > PPENVDEBUG=y ../bin/pp_make_database -p hol demo > > Regards, > > Rob. > > On 18 Nov 2009, at 13:18, Igorj V wrote: > > > command pp_make_database -p hol receives such error ; what is missing?! > > > > ig...@igorj-laptop:/opt/pp/db$ ../bin/pp_make_database -p hol demo > > ../bin/pp_make_database: line 157: findfile: command not found > > ../bin/pp_make_database: line 158: findfile: command not found > > pp_make_database: database hol.polydb not found > > ig...@igorj-laptop:/opt/pp/db$ > > > > _______________________________________________ > > 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
