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.
Note: See
TracTickets for help on using
tickets.
Duplicate of #334