| Commit message (Collapse) | Author | Age |
|
|
|
| |
XEmacs.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
added pg-remove-specials-in-string;
|
|
|
|
| |
avoid (re-)search-forward, which does not observe proof-case-fold-search;
|
|
|
|
| |
pg-assoc-strip-subterm-markup;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
- When proof-three-window-enable is nil, don't mark a dedicated window as
non-dedicated.
- Don't make the window-size-fixed. It's a real pain in the rear.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
liked to keep them maybe)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|