diff options
| author | Thomas Kleymann | 1997-10-17 14:38:33 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1997-10-17 14:38:33 +0000 |
| commit | fd4b0f8bdbb42fe6ca061bf94ee2a1e0a428d379 (patch) | |
| tree | 764526ff2629426a4887f4b499cfc675a3dc52e5 /INSTALL | |
| parent | 4ee609ae6104d9e353707206b704b45e25ad035e (diff) | |
fixed a bug in proof-process-active-terminator. Notice that it still
doesn't work when you are inside a comment and press the
proof-terminal-char
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions