*To*: Ian Lynagh <igloo at earth.li>*Subject*: Re: [isabelle] stuck on proof*From*: Makarius <makarius at sketis.net>*Date*: Tue, 17 Aug 2010 16:56:18 +0200 (CEST)*Cc*: isabelle-users at cl.cam.ac.uk*In-reply-to*: <20100816161640.GB16241@matrix.chaos.earth.li>*References*: <20100816161640.GB16241@matrix.chaos.earth.li>*User-agent*: Alpine 1.10 (LNX 962 2008-03-14)

On Mon, 16 Aug 2010, Ian Lynagh wrote:

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

Makarius

**Follow-Ups**:**Re: [isabelle] stuck on proof***From:*Ian Lynagh

**Re: [isabelle] stuck on proof***From:*Lars Noschinski

**References**:**[isabelle] stuck on proof***From:*Ian Lynagh

- Previous by Date: Re: [isabelle] Beginner's struggles
- Next by Date: Re: [isabelle] König's Lemma?
- Previous by Thread: Re: [isabelle] stuck on proof
- Next by Thread: Re: [isabelle] stuck on proof
- Cl-isabelle-users August 2010 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list