| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
Removed proof-preprocess-input hook function, Paul Callaghan can now use
proof-shell-insert-hook instead for his need.
|
|
proof-shell-insert-hooks.
|
|
|
|
|
|
|
|
in case Emacs is exited accidently. (Esoteric improvement).
|
|
|
|
|
|
20.3
o however, there is still a mysterious bug in 'proof-shell-analyse-structure'
when processing lego/example.l
|
|
|
|
|
|
|
|
BUG fix: kill-function: another chance to catch process sentinel added.
BUG fix: FSF Emacs minor-mode-alist
BUG fix: FSF Emacs problem with proof-shell-insert mess. Still probs.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
*abbreviated* form of file-truename!
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
In proof-shell-handle-error:
Make action list empty to prevent proof shell filter seeing
same error over and over in case user types directly in shell
buffer after an error.
|
|
Made default for proof-window-dedicated be nil because of
problems with multi frame stuff.
|
|
|
|
|
|
|
|
|
|
it's used in a kill hook.
|
|
|
|
|
|
in the current buffer, automatically.
Improved kill buffer hook for script buffers.
Docstring fixes.
|
|
Directory variables are no longer user options.
|
|
options, markup for 'symbols and back-forward quoted `text'.
Allowed parsing to continue from partway through a previous match.
|
|
|
|
|
