diff options
| author | David Aspinall | 2010-09-09 17:00:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-09 17:00:35 +0000 |
| commit | 38f54757ef5363586305778d37707176c25f0245 (patch) | |
| tree | 2973edc493e3115609b3c389d9eeb4c71adca9f4 /pgshell | |
| parent | 6dabc28114f0ee2ba03b79c4bdd313154cab8d30 (diff) | |
Hack regexps so that goals are cleared on Proof Completed. message. Unfortunately that message is now not shown in response buffer.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions