| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
expansion to build holes.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
correctly for xemacs (any version) and emacs > 21.
|
|
|
|
| |
commit, for "holes" integration.
|
|
|
|
| |
generic/span-extent.el. This is for my "holes" feature integration.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
even on terminals.
|
| |
|
|
|
|
| |
on buffer context.
|
| |
|
| |
|
|
|
|
| |
cannot be stopped, sadly)
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-trace-output-slow-catchup
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|