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