diff options
| author | Hendrik Tews | 2012-08-14 09:50:13 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-08-14 09:50:13 +0000 |
| commit | a5255e9d42efa6586f91ae638cad3956efc0e93c (patch) | |
| tree | 524391feb3a1b693d5723d6a230dfdc600460670 /pgshell | |
| parent | 35e28eca4daf3d39212e491a60eefb2efbec0fcb (diff) | |
fix 443 by enforcing that the prover is not busy in proof-retract-until-point
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions