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

2016-02-02 23:29 GMT+01:00 Makarius <makarius at>:
> On Tue, 2 Feb 2016, C. Diekmann wrote:
>> This thread should be called: Isabelle2016 uses too much RAM.
> The NEWS file says again that resource requirements have been reduced.
> Interestingly that has been a theme of all releases of the last years.
> Whenever the resource requirements of the systems are reduced, applications
> fill up the free space again.
> I don't complain about that, it is just how things work. You merely need to
> be slightly above average in hardware capacities to cope with that.
> 8 GB is below that average.  Further below are small mobile devices, not
> proper computers.

I'm happy to tell that Collections builds again with RC4 on my 8GB RAM
laptop. Is this just a coincidence or did you fine-tune something?


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