hello after one year break i am trying to make some theory ; (it is for university course ; ) now reading proofpower_tutorial.pdf one thing which i do not understand when opening example from directory /opt/pp/doc/ from xpp how to lauch something to prove?! when using pp -d demo i managed to enter some simple examples (Peanissimo)
Igorj _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
