diff options
| author | David Aspinall | 2009-09-15 08:22:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-15 08:22:54 +0000 |
| commit | eeb920d350d9c17a0c6a2afca401ef7bb01952a8 (patch) | |
| tree | d6c39be6040d784568a830be6da3e87faa92f8fd /doc | |
| parent | 4412031fbd8b3f4390a2b5e22a0be8cde8f706b9 (diff) | |
When calling proof-script-preprocess, fix starting position.
proof-assert-electric-terminator: restore expected behaviour with/without term.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions