diff options
author | 2017-04-07 10:05:12 +0200 | |
---|---|---|
committer | 2017-06-14 07:21:16 +0200 | |
commit | 165e3000844c1e84cc5c9d1b579a0a7dab8a3684 (patch) | |
tree | 10ab27d72d6eee3a4a950edcef7543597fcb94a7 /vernac/obligations.mli | |
parent | bcaf9af83363f3e1a1c588271e5038984ee1760b (diff) |
Add support for Coq 8.6.
Diffstat (limited to 'vernac/obligations.mli')
0 files changed, 0 insertions, 0 deletions