---------- Пересылаемое сообщение ---------- From: Igorj V <[email protected]> To: [email protected] Date: Sun, 8 Nov 2009 22:41:05 +0200 Subject: Fwd: asking for assistance about proofpower hallo ; how to register one post ?! trying to install proofpower receive some error below; (whom to ask for some assistance?!)
---------- Forwarded message ---------- From: Igorj V <[email protected]> Date: 2009/11/4 Subject: Fwd: asking for assistance about proofpower To: [email protected] hello; may be some one could explain me such error when installing proofpower?! troff: fatal error: can't find macro file s 0 ? make[1]: *** [help.h] Error 1 make[1]: Leaving directory `/home/igorj/Desktop/OpenProofPower-2.8.1p2/src' make: *** [xpp] Error 2 hallo found your contacts here http://www.lemma-one.com/pipermail/proofpower_lemma-one.com/2009-January/000491.html maybe you could help me ;) it is my first step in Hoara logic; in specification languages Z; object Z; about Z language task is to try something to proof ; ( some tasks were given ; or by hand or using some soft ) found this tool Proof Power (sounds greate ); our lecturer only mentioned this tool (without any experience); because i am weak in this theory so decided to try some attempts with proof power ; all day long trying to configure proof power on ubunut 8.10; whom could i ask for assistance ?! (some fatal error takes place when installing prooffpower ) ./configure goes smoothly (but latex ; tex installed old versions
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
