| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
proof-file-to-buffer: use find-buffer-visiting instead
proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Remove timeout from About usage to avoid confusion with disappearing window
with mouse events.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-mode-for-script seems undefined
|
|
working with PG 3.7
|
|
content !)
sym-lock is still available on xemacs only
various other bug fix.
|
|
|
|
|
|
|
|
|
|
Fix interface to custom, saved faces are in .emacs, not current buffer(!).
|
|
|
|
|
|
|
|
|
