diff options
author | 2018-02-18 19:08:04 +0100 | |
---|---|---|
committer | 2018-02-22 15:37:59 +0100 | |
commit | 75b7729d204c7bae280d859bb233750f7c4b543e (patch) | |
tree | 18272b0bf95b42b2074532ce0c9d16cecd49beac /.bintray.json | |
parent | 0c5f0afffd37582787f79267d9841259095b7edc (diff) |
Adding mention of shelved/given-up status in "Show Existentials".
Also changed the API of pr_subgoals now using labels.
Also removed a trailing space in printing existentials.
Diffstat (limited to '.bintray.json')
0 files changed, 0 insertions, 0 deletions