[isabelle-dev] Remaining uses of Proof General?

Makarius makarius at sketis.net
Sun May 25 17:05:31 CEST 2014

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.


More information about the isabelle-dev mailing list