---------- Forwarded message ----------
From: <mailman-ow...@blueberry.trouble-free.net>
Date: 2009/11/10
Subject: Re: [ProofPower] help
To: v.ig...@gmail.com


You are not allowed to post to this mailing list, and your message has
been automatically rejected.  If you think that your messages are
being rejected in error, contact the mailing list owner at
mailman-ow...@blueberry.trouble-free.net.



---------- Пересылаемое сообщение ----------
From: Igorj V <v.ig...@gmail.com>
To: Roger Bishop Jones <r...@rbjones.com>, mail...@lemma-one.com
Date: Tue, 10 Nov 2009 21:25:07 +0200
Subject: Re: [ProofPower] help
thanks;
 still install failed ; log in attach;

ig...@igorj-laptop:~/Desktop/OpenProofPower-2.8.1p2$ ./install
OpenProofPower installation begins [Tue Nov 10 21:22:48 2009] ...
Moving to build directory /home/igorj/Desktop/OpenProofPower-2.8.1p2/src
Building pptex xpp hol zed
See /home/igorj/Desktop/OpenProofPower-2.8.1p2/build.log for messages
install: installation failed; see
/home/igorj/Desktop/OpenProofPower-2.8.1p2/build.log for more details
ig...@igorj-laptop:~/Desktop/OpenProofPower-2.8.1p2$



2009/11/9 Roger Bishop Jones <r...@rbjones.com>

> On Monday 09 November 2009 19:48:04 Igorj V wrote:
>
> > may be some one could explain me such error when installing proofpower?!
> >
> > troff: fatal error: can't find macro file s
>
> I had that problem, and the question has been asked and answered.
> The answer is in the archive here:
>
> http://lemma-one.com/pipermail/proofpower_lemma-one.com/2009-
> October/000576.html<http://lemma-one.com/pipermail/proofpower_lemma-one.com/2009-%0AOctober/000576.html>
>
> Roger Jones
>
> _______________________________________________
> Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>

Attachment: build.log
Description: Binary data

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to