Re: [isabelle] stuck on proof

On Mon, 16 Aug 2010, Ian Lynagh wrote:

Incidentally, in proof general, the "Isabelle/Show me .../Facts" menu says "C-c C-a <h> <f>" next to it, but after typing just "ctrl-c ctrl-a h" emacs says "C-c C-a h is undefined".

This looks like a problem of Proof General, and should go to

Since David Aspinall is working on the next major release PG 4.0 right now, it is especially important to report any remaining issues there.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.