diff options
| author | Healfdene Goguen | 1997-11-12 15:56:15 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-11-12 15:56:15 +0000 |
| commit | 5336774f943006195f5b378ed75ca99d9941bf90 (patch) | |
| tree | fde2f6194a9242813b13728b1234dbdffbdba86e /proof.el | |
| parent | 2c778ff5bab78d894129bae6937739fd46dc44e0 (diff) | |
Changed pbp-change-goal so that it only "Show"s the goal pointed at.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions