| Age | Commit message (Collapse) | Author |
|---|
|
cleanups
|
|
|
|
now)
|
|
|
|
|
|
with XEmacs progress bar.
|
|
|
|
|
|
|
|
|
|
namespaces fixes.
pre-shell-start-hook: remove this, use default names for modes
proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
|
|
proof-face-specs to proof-utils
|
|
|
|
pg-remove-specials.
|
|
|
|
|
|
|
|
messages.
|
|
mode. Strategy is: always try to split an associated buffer window.
|
|
|
|
|
|
|
|
|
|
added pg-remove-specials-in-string;
|
|
- 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.
|
|
|
|
|
|
|
|
available.
|
|
|
|
Add x-symbol-version to bug report variables.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cannot be stopped, sadly)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
