diff options
| author | David Aspinall | 1998-11-26 18:29:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-26 18:29:13 +0000 |
| commit | 54bdffb11596d5f9083c72690d147662a607ecf9 (patch) | |
| tree | e14d30fa8152ed4cba52894a126c1b859c2816cf /html | |
| parent | 588314e72d2b390da057a30d6aa9b9cdc0f6ef07 (diff) | |
Added proof-shell-clear-goals-regexp.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions