diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-04-14 14:02:10 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-14 14:02:10 +0200 |
commit | 144f032a416a0701f3183c156769f30e64362549 (patch) | |
tree | 9e0327ba26213a81ab85236583adee8d3c2c9be7 /kernel/nativelib.ml | |
parent | fd197553c11bc968aa13b9db6a49608b5d8accc4 (diff) | |
parent | 041cb0de6204989000352311e01847ce5a908a14 (diff) |
Merge PR#557: [toplevel] Don't print goals if there is no pending proof.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions