Am 25.05.2014 um 14:59 schrieb Makarius <makar...@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.
Aha!
-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.
Jasmin
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
