[isabelle-dev] Future of ProofGeneral

Makarius makarius at sketis.net
Tue Apr 17 20:59:42 CEST 2012

On Tue, 17 Apr 2012, Lawrence Paulson wrote:

> I didn't intend to be tactless or demanding, but at least something 
> analogous to the “Isabelle" menu (offering access to show 
> me/commands/prover settings) is needed. Unless it's there somewhere and 
> I overlooked it.

No it is one of the known things that are still not there yet, and are 
officially specified as a feature in the README:

   General lack of various conveniences known from Proof General.


More information about the isabelle-dev mailing list