Hi Shu,
We will need some more information about this...
1. Does pp -d database work? (Note pp not xpp.)
This should give you the ProofPower session
directly in the terminal.
2. What version of ProofPower are you using?
If pp -d database worked above:
The version printed by
Hi Phil,
Thanks very much for your reply.
1 Yes, pp -d database is work well.
2 I downloaded the latest version of ProofPower, which is ProofPower
2.9.1w2 [HOL/Z Database]
3 I am using Mac OS X version 10.6. uname -a reports
Darwin Shu-Chengs-MacBook-Pro.local 10.0.0 Darwin Kernel Version
Rob Arthan wrote:
b) Try running it under the gnu debugger, gdb. To do this run the command:
gdb /usr/local/pp/bin/pp
I'm guessing Rob meant /usr/local/pp/bin/xpp
[Aside to Phil: when xpp runs in the background, gdb won't follow xpp through the fork
unless you do clever things that have