[isabelle-dev] Remaining uses of Proof General?

Jasmin Blanchette jasmin.blanchette at gmail.com
Sun May 25 15:56:08 CEST 2014

Am 25.05.2014 um 14:59 schrieb Makarius <makarius at sketis.net>:

> On Sun, 25 May 2014, Jasmin Christian Blanchette wrote:
>> In the course of a day, I typically find myself pulling from the Isabelle repository several times. I am encouraged in this by my use of Mercurial queues. So it's not untypical that my HOL image is slightly out of date, usually in a harmless way. Sometimes I fire up Proof General just because I know it will take the image as is instead of forcing me to rebuild it (and waste 4 minutes of my time).
> There is already "isabelle jedit -n" to bypass the automatic build. I never use that myself, because I no longer do the bootstrap dependency management in my head.


    -n           no build dialog for session image on startup

I thought this only controlled whether the dialog is shown; not whether the build takes place.


More information about the isabelle-dev mailing list