---------- Пересылаемое сообщение ----------
From: Igorj V <v.ig...@gmail.com>
To: mail...@lemma-one.com
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

---------- Forwarded message ----------
From: Igorj V <v.ig...@gmail.com>
Date: 2009/11/4
Subject: Fwd: asking for assistance about proofpower
To: proofpower@lemma-one.com

may be some one could explain me such error when installing proofpower?!

troff: fatal error: can't find macro file s
make[1]: *** [help.h] Error 1
make[1]: Leaving directory `/home/igorj/Desktop/OpenProofPower-2.8.1p2/src'
make: *** [xpp] Error 2

found your contacts here
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

Reply via email to