[isabelle-dev] Future of ProofGeneral

[Makarius]

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.


 	Makarius