diff options
| author | David Aspinall | 1998-11-18 13:43:14 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:43:14 +0000 |
| commit | 322f80462f5f40c413a99d58d9baf2924b0fd170 (patch) | |
| tree | 7b15d4cfd280ea63b5c598b6a5ae563cf66385e5 /doc | |
| parent | 1610033c72b11c1e13bc5daef0434832f0605dfa (diff) | |
proof-done-retracting: changed delete-region to kill-region after
Martin Hofmann's suggestion.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions