| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
interrupt key).
|
|
|
|
|
|
|
|
|
|
Makefile.
|
|
|
|
problem with older XEmacs (Trac #184).
|
|
|
|
|
|
#183, #186. See #190
|
|
|
|
|
|
|
|
|
|
|
|
setting.
|
|
|
|
Add proof-token-name-alist to allow dynamic changing of tables.
|
|
|
|
Put CCL program inside x-symbol-mac-setup, called after xsymb1-right defined.
|
|
|
|
|
|
undo-make-selective-list is available (not on XEmacs).
|
|
and X-Symbols at the same time, which will surely lead to evil confusion.
|
