On Sun, 25 May 2014, Jasmin Blanchette wrote:
-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.
That was once a separate build_dialog tool, but it is now just an implicit
build, so I will remove this confusing word.
The build_dialog was meant to let Proof General participate in
contemporary Isabelle infrastructure, but it was never used and
discontinued about 1 year ago.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
