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 <r...@lemma-one.com>
> 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
> > 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