Re: [isabelle] Disk usage in ~/.isabelle/contrib



> On 9 Feb 2016, at 21:54, Makarius <makarius at sketis.net> wrote:
>
> On Mon, 8 Feb 2016, Gerwin Klein wrote:
>
>> Thanks, will investigate. Tobias and I are mostly building on Macs, so we donât see the Linux version often.
>>
>> Iâm at a summer school this week. Do we need this for the release or do I have time?
>
> This is not relevant for the release.  In the past few releases I always made sure that documents are built on Mac OS X.

Ok.
Gerwin


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.