diff options
| author | Pierre Courtieu | 2012-07-10 16:31:42 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-07-10 16:31:42 +0000 |
| commit | bc42da4817a194c99c7a85789013efd66796d7b0 (patch) | |
| tree | 48df8fa27a4bcddc50b2b89c98ea87b0d4d346c8 /lib | |
| parent | 3c98cd6bf8b2181949c10d4971d0defd72e42b5e (diff) | |
Made "printing all" queries smater in letting the prover in the same
printing state as before.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions