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



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.


	Makarius


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