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  
> http://proofgeneral.inf.ed.ac.uk/trac/
>
> 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.

Done: http://proofgeneral.inf.ed.ac.uk/trac/ticket/337


Thanks
Ian






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