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.

Change History (1)

comment:1 Changed 16 years ago by David Aspinall

Resolution: fixed
Status: newclosed

Fixed, thanks. (:help is GNU Emacs only)

Note: See TracTickets for help on using tickets.