diff options
| author | David Aspinall | 1999-09-21 17:20:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-21 17:20:13 +0000 |
| commit | c8e63e5d3d953540a4459272cf13a26935c23c28 (patch) | |
| tree | e847b9fb07d218474c5bbea1075b91b1e884a9a8 /isa/Example.thy | |
| parent | e8beaf4989ca81c61af0ede150e3b2942debe3e2 (diff) | |
Adjusted proof-shell-proof-completed-regexp to match against whole of
proofstate output including "No subgoals!" message.
Now PG can correctly set the proof-shell-proof-completed flag.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions