diff options
| author | Maxime Dénès | 2017-04-14 14:02:10 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-04-14 14:02:10 +0200 |
| commit | 144f032a416a0701f3183c156769f30e64362549 (patch) | |
| tree | 9e0327ba26213a81ab85236583adee8d3c2c9be7 /kernel/nativecode.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/nativecode.ml')
0 files changed, 0 insertions, 0 deletions