Re: [isabelle] Isabelle and Vim (was: Re: Another newbie proofs)

> Note that Isabelle has always required serious equipment. I remember
> when Proof General 2.0 with XEmacs 21.1 was the great new thing in
> 1999,
> it required hardware for 12000 EUR on the desk, or a big server
> somewhere in the back.

I'm using Isabelle successfully on 2-3 year old laptop machines, for
the last 14 years ... only once, around 2015->2017, I had to update the
RAM of my laptop, to make it work another 1.5 years.


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