Roger,

> On 28 Apr 2016, at 21:32, Roger Bishop Jones <r...@rbjones.com> wrote:
> 
> 
>> 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
> 
> I have managed to get Xcode installed now,

Good.

> but fail on step 2 of your prescription because the preferences in Xcode 
> doesn’t seem to have a download option.

I am not sure an analogue of this step is necessary now. If it is, then I 
believe you do it from the command line with the following command:

        xcode-select --install

Regards,

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

Reply via email to