| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
alter meaning of `proof-only-whitespace-to-locked-region-p';
both now refer to char after point.
Script elements are now stored in hash tables rather than lists.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Clarify purpose and meaning of `proof-shell-end-goals-regexp'.
|
|
Unset proof-shell-end-goals-regexp.
|
|
|
|
and a check for process liveness.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
unicode chars in buffer
|
|
general, and map char sequences into left-to-right placements
|
|
for Tokens customize menu
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ensure if shortcuts are customized, replacement-alist is reset too.
|
