Opened 14 years ago

Closed 14 years ago

#337 closed defect (duplicate)

C-c C-a h is undefined

Reported by: igloo Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords:
Cc:

Description

When I use proof general with Isabelle, 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".

I have 3.7.1.1.

Change History (1)

comment:1 Changed 14 years ago by Generic Isabelle user

Resolution: → duplicate
Status: new → closed

Duplicate of #334

Note: See TracTickets for help on using tickets.