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
>
>
>         Makarius
>
>
>



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