[isabelle-dev] Remaining uses of Proof General?

[Makarius]

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