diff options
| author | David Aspinall | 1998-11-25 12:55:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:55:56 +0000 |
| commit | 9fb5af2617043f4e9e8439a029bb9e2677adff29 (patch) | |
| tree | d2d6c234638317a9c8c45717ee8a706a26475743 /generic/proof-script.el | |
| parent | 4373a4dd052cdaf25056001ccbb7e3c29fc574a4 (diff) | |
Fixes to debug long standing not-showing-first-goal problem.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions