Re: [isabelle] stuck on proof
On Tue, Aug 17, 2010 at 04:56:18PM +0200, Makarius wrote:
> 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