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
This archive was generated by a fusion of
Pipermail (Mailman edition) and