diff options
| author | Healfdene Goguen | 1998-05-26 10:46:13 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-26 10:46:13 +0000 |
| commit | 06ec3376594ce672fca9fcd94eca0bb6eef26020 (patch) | |
| tree | bfe7496bac685e5d4cc8e1b66251e8a2644826f1 /script-management.info | |
| parent | 83772487e6d455e018bf36f9f7580c23ef975318 (diff) | |
Removed commented code in proof-dont-show-annotations
proof-done-trying deletes the spans that were created
Diffstat (limited to 'script-management.info')
0 files changed, 0 insertions, 0 deletions