Re: [isabelle] yet another simplifier question
well, the computer itself is much older.
does Isabelle 2016 require significantly more memory?
On Sun, Nov 6, 2016 at 7:42 PM, Makarius <makarius at sketis.net> wrote:
> On 06/11/16 18:16, noam neer wrote:
> > I'm using the default installation of Isabelle 2015 on win7.
> That is already quite old: the current release is Isabelle2016 (February
> 2016), and we are presently moving towards Isabelle2016-1 (December
> 2016) -- see also http://isabelle.in.tum.de/website-Isabelle2016-1-RC1
This archive was generated by a fusion of
Pipermail (Mailman edition) and