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 MHonArc.