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 /lib/xml_datatype.mli | |
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 'lib/xml_datatype.mli')
0 files changed, 0 insertions, 0 deletions