diff options
| author | Maxime Dénès | 2017-10-03 15:34:29 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-10-03 15:34:29 +0200 |
| commit | 3a8209d262ef586baee5b76161afd83893d1dad3 (patch) | |
| tree | 5e4c3b91f81989e42c491ee9a56fd6ff2844f97e /lib | |
| parent | 01050348ca54a3ac42da954d85b19c331d0c11db (diff) | |
| parent | d6188188c444a95e3d40c3926274b7e526e96b82 (diff) | |
Merge PR #1099: BZ#5637, look for Obligation num or Next Obligation to start proof for coqwc
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions