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.logcat: 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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
