| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
mode switch on/off: discard undo history -- edits inside tokens get
mapped to wrong positions afterwards, so undo garbles source.
|
|
|
|
converted first, which is more likely to give correct results for
text that has multiple possible de/encodings.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sorting for menus).
|
|
|
|
|
|
|
|
Generate from Isabelle.sym
|
|
|
|
Add unicode-tokens-rotate-glyph-{forward,backward}.
|
|
|
|
|
|
|
|
|
