diff options
| author | David Aspinall | 1998-11-25 13:03:28 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 13:03:28 +0000 |
| commit | f28a41829160aa04beeca90d2416601b5109d4d6 (patch) | |
| tree | 3db3878496253dcb66250accc2c1d1e4e26924d0 /html | |
| parent | 1e0c252b5290ab160969c266025289b952eb239f (diff) | |
Improvements to get rid of old ProofGeneral.texi.
Added doc for active terminator, proof shell start, stop, and restart.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions