> On 28 Apr 2016, at 11:57, Rob Arthan <r...@lemma-one.com> wrote: > > > Can you point me at the recipe, so I can see what is likely to be > out of date.
http://lemma-one.com/pipermail/proofpower_lemma-one.com/2012-December/000955.html <http://lemma-one.com/pipermail/proofpower_lemma-one.com/2012-December/000955.html> I have managed to get Xcode installed now, but fail on step 2 of your prescription because the preferences in Xcode doesn’t seem to have a download option. Roger
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com