diff options
| author | Guillaume Melquiond | 2014-04-04 16:04:10 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2014-04-04 16:04:10 +0200 |
| commit | 5b688868704cc1097aded2caea27d89047318eb1 (patch) | |
| tree | c66dc6808a471951f8af95d3b1b1fb4739494c88 /kernel/nativecode.ml | |
| parent | b8e76c36b0fd4016c4d5b4098a11dc733872ff5f (diff) | |
Support other forms of "Proof" in coqwc. (Fix for bug #2735)
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions