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



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.


	Makarius




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