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