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