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