diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 21:24:04 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 21:24:04 +0100 |
commit | 374d1efc5de20f8c99c13a7216357a7228c353e8 (patch) | |
tree | 57c77f168c5b5e0d8164128d7977e2bd0efdfc7f /vernac/comProgramFixpoint.mli | |
parent | a40fb961c8ffeeb03769404cacda8bd6cff17417 (diff) | |
parent | 940b2f972c4b3f42850e36c721564b127d30e496 (diff) |
Merge PR #6926: An experimental 'Show Extraction' command (grant feature wish #4129)
Diffstat (limited to 'vernac/comProgramFixpoint.mli')
0 files changed, 0 insertions, 0 deletions