[isabelle-dev] Remaining uses of Proof General?
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