Artur (& Steven),

On 23 Jan 2009, at 17:23, Artur Oliveira Gomes wrote:

Hi there,

Build.log output:

...

ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/ dtd048.log
cat: src/dtd048.log: No such file or directory

Sorry, I mean src/dtd048.ldd - what do you have in that?

Regards,

Rob.


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

Reply via email to