Roger,
> On 28 Apr 2016, at 21:32, Roger Bishop Jones <[email protected]> wrote:
>
>
>> On 28 Apr 2016, at 11:57, Rob Arthan <[email protected]> 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
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
