Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based 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
> 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