[isabelle-dev] Future of ProofGeneral
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