diff options
| author | Maxime Dénès | 2017-07-07 09:34:58 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-07-07 09:34:58 +0200 |
| commit | 6088be1aecc401c9feabe913bbf8a67f407c6d06 (patch) | |
| tree | 9c63e2122c0da17cf8267e2ea6f842f9c5119318 /engine/proofview.mli | |
| parent | 64dd31dbc8117794be16921899ff1716a5223060 (diff) | |
Set version to 8.7.0~alpha.
Diffstat (limited to 'engine/proofview.mli')
0 files changed, 0 insertions, 0 deletions