| Age | Commit message (Collapse) | Author |
|---|
|
PA->Help anyway
|
|
|
|
|
|
proof-shell-invisible-cmd-get-result, we will fix this better with
David soon (use of the noerror arg).
|
|
Had to correct a bug in proof-shell.
|
|
|
|
|
|
|
|
|
|
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)
|
|
|
