diff options
| author | Pierre Courtieu | 2016-01-04 13:52:59 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2016-01-04 13:52:59 +0100 |
| commit | 1e3c5b68a6fa43d9997c5bbf9ac7ace865ed15b7 (patch) | |
| tree | d16eefa955bb6898b779e823062d831a7d11e958 /generic/proof-script.el | |
| parent | 40a248f2007e7239ce01824a18f48fb0ab7d6d22 (diff) | |
First try to fix #19 and #20. Not finished.
Maybe need coq fix.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions