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.


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

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