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

> On 9 Feb 2016, at 21:54, Makarius <makarius at> 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.



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.