Opened 16 years ago
Closed 16 years ago
#221 closed defect (fixed)
XEmacs 21.4.x: Isabelle logic menu broken
Reported by: | Makarius | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-3.7.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
After recent changes in isar/isabelle-system.el (9.1 or 9.2) the logic menu is broken:
Syntax error: "Unknown keyword in gui item", :help, "Default"
It does work with GNU Emacs, though.
Note: See
TracTickets for help on using
tickets.
Fixed, thanks. (:help is GNU Emacs only)