Re: [isabelle] yet another simplifier question



On 06/11/16 19:13, noam neer wrote:
> well, the computer itself is much older.
> does Isabelle 2016 require significantly more memory?

Not much. You should try.

A very old computer might be actually a source of these problems. The
minimal system requirements for Isabelle are 2 cores + 4 GB RAM. This is
not spelt out anywhere, because that is really minimal -- consumer
hardware from many years ago had this already.


	Makarius





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