diff options
| author | David Aspinall | 2010-10-04 13:45:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-04 13:45:13 +0000 |
| commit | 5422a70fbdcabab9436bd27310a47e55a99ad3fc (patch) | |
| tree | af9202949bf79ecf72e83e3c0a02473296eb60fe /Makefile.devel | |
| parent | 7d4c93021e12f7c83c05f72c52af3e3e0e3c2318 (diff) | |
coq-insert-solve-tactic: added (credit:Erik Martin-Dorel, patch from trac #357). Docstring cleanups.
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions