Re: [isabelle] Isabelle2016-RC3 -- jEdit build fails when session loaded from different directory



Iâve used an 8 GB laptop (Macbook Pro) for years, generally with success. Of course things are better with a bigger machine, but itâs not essential.

Larry

> On 2 Feb 2016, at 22:29, Makarius <makarius at sketis.net> wrote:
> 
> 8 GB is below that average.





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