diff options
| author | Thomas Kleymann | 1997-10-14 09:29:17 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1997-10-14 09:29:17 +0000 |
| commit | f424f6808ed1dc43830c2cc1ddbf380a3dc2d916 (patch) | |
| tree | 74f052633cee17f411a596e98214d918a4db7c44 /INSTALL | |
| parent | 93d2929db0f5c84604e5bc4474adc0b7aa137fcc (diff) | |
proof-process-active-terminator is now an extension of
proof-assert-until-point (it was broken and looks healthier now)
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions