diff options
| author | David Aspinall | 2010-08-22 21:25:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-22 21:25:56 +0000 |
| commit | 28f1ec5e4b40cb3c2dc71f53ba3a4c326fa42f1e (patch) | |
| tree | 904c6783713285ec7809a62f9b783b2e5d25a025 /generic | |
| parent | c5f42020bd597c1b37b557548dbe6c6bb331cb24 (diff) | |
Change binding for coq-PrintHint as suggested in Trac #341
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions