diff options
| author | Dilip Sequiera | 1997-10-17 15:15:57 +0000 |
|---|---|---|
| committer | Dilip Sequiera | 1997-10-17 15:15:57 +0000 |
| commit | 97bcd7f2b1324cbde62314aab68189e93b3816a8 (patch) | |
| tree | c0f0547a4c7b7f8e75e35261f5f3047f2ec7da1a /INSTALL | |
| parent | f006de119f34175f5a2359c1540d969b1c99d60e (diff) | |
proof-active-terminator inside comment case fixed. Also maybe the
continuous pbp-buffer update bug.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions