diff options
author | 2017-04-14 14:02:10 +0200 | |
---|---|---|
committer | 2017-04-14 14:02:10 +0200 | |
commit | 144f032a416a0701f3183c156769f30e64362549 (patch) | |
tree | 9e0327ba26213a81ab85236583adee8d3c2c9be7 /kernel/vm.mli | |
parent | fd197553c11bc968aa13b9db6a49608b5d8accc4 (diff) | |
parent | 041cb0de6204989000352311e01847ce5a908a14 (diff) |
Merge PR#557: [toplevel] Don't print goals if there is no pending proof.
Diffstat (limited to 'kernel/vm.mli')
0 files changed, 0 insertions, 0 deletions