| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Really we should use default here to get rid of this list.
|
|
now)
|
|
|
|
ordinary span construction.
|
|
|
|
ordinary span construction.
|
|
|
|
|
|
|
|
|
|
there for x-complement-fontset-spec. It may be possible to fix
without much work, but isn't immediately obvious.
|
|
|
|
|
|
Make proof-shell-handle-output robust against START-REGEXP match
fail (can happen if shell buffer is garbled/user-edited).
Make proof-shell-insert robust against null STRING (should not
happen; development artefact while getting rid of proof-no-command).
Update date.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
interrupt key).
|
|
|
|
|
|
|
|
|
|
setting.
|
|
Add proof-token-name-alist to allow dynamic changing of tables.
|
|
|
|
|
|
|
|
undo-make-selective-list is available (not on XEmacs).
|
|
and X-Symbols at the same time, which will surely lead to evil confusion.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
