diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-26 20:42:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-26 20:42:12 +0000 |
commit | dfbc1b9b4215ec509f0fc2dc3fda02f17d8d45ce (patch) | |
tree | c009f034a6a8a1d66d7f1eb15a022353dc2cc11b /doc/.cvsignore | |
parent | ff384cc7c99e2f61cd472d9530bf06df3c3582bf (diff) |
BUG fix: proof-shell-message with str's containing format characters.
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.
Diffstat (limited to 'doc/.cvsignore')
0 files changed, 0 insertions, 0 deletions