diff options
| author | David Aspinall | 1998-09-09 15:40:04 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-09 15:40:04 +0000 |
| commit | b8d394edd40a5d219c7d29f4dff3763c73c41b28 (patch) | |
| tree | 90aec1a3b359e30170a57f32668553af45655790 /html | |
| parent | f45e4719e7e78d27566cb141f48afccca1e3fd06 (diff) | |
Made proof-assert-next-command move forward by default.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions