I would appreciate advice on how to run ProofPower on OS X El Capitain (10.11.4). I tried a rather dated recipe posted by Rob a while back but find that there is problem installing Xcode (it hangs up in the installation).
If I have to resort to running Linux is VirtualBox the best way to do that? Roger Jones _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com