diff options
| author | David Aspinall | 1998-11-26 20:42:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-26 20:42:12 +0000 |
| commit | dfbc1b9b4215ec509f0fc2dc3fda02f17d8d45ce (patch) | |
| tree | c009f034a6a8a1d66d7f1eb15a022353dc2cc11b /html | |
| 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 'html')
0 files changed, 0 insertions, 0 deletions