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_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
