*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)*From*: Peter Lammich <lammich at in.tum.de>*Date*: Fri, 05 Apr 2019 14:19:07 +0100*In-reply-to*: <83ec6dc5-c71e-ee7b-44b0-3635310b1982@sketis.net>*References*: <CAJ=ZMJK4d0xDP4ULTqEFWwXcHdfPN4yLVqRdPV_nht9VHAWbkQ@mail.gmail.com> <2315a38013d645bfa7ed4a7a37948817@chalmers.se> <D296D69F59ADF247B47C452A21D6ED2314142FD6@XMBX3.uibk.ac.at> <1552327215.3710.8.camel@in.tum.de> <9be127f9-1d5c-9673-3720-e82e46db1e21@gmail.com> <1552407330.8237.61.camel@jeltsch.info> <ee2be556-0249-f808-826f-03908a21c466@sketis.net> <1554464723.2503.35.camel@jeltsch.info> <6BF926F7-16DF-4E48-AD4B-78243663F7D6@gmail.com> <83ec6dc5-c71e-ee7b-44b0-3635310b1982@sketis.net>

> 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. -- Peter

**Follow-Ups**:

**References**:**Re: [isabelle] Another newbie question...case-based proofs***From:*Makarius

**[isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)***From:*Wolfgang Jeltsch

**Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)***From:*Mathias Fleury

**Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)***From:*Makarius

- Previous by Date: Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)
- Next by Date: Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)
- Previous by Thread: Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)
- Next by Thread: Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)
- Cl-isabelle-users April 2019 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list