diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-02-18 19:08:04 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-02-22 15:37:59 +0100 |
| commit | 75b7729d204c7bae280d859bb233750f7c4b543e (patch) | |
| tree | 18272b0bf95b42b2074532ce0c9d16cecd49beac /theories | |
| 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 'theories')
0 files changed, 0 insertions, 0 deletions