diff options
| author | Julien Coolen | 2020-07-20 11:42:28 +0200 |
|---|---|---|
| committer | Julien Coolen | 2020-08-04 17:20:53 +0200 |
| commit | 046cf2c0c8bb2b5186066f927b98c387709e9acc (patch) | |
| tree | cf69070b6f4740db4f1a58ef1daaf0c17127d109 /kernel/type_errors.mli | |
| parent | 2793c3cdfd096355270ea02123a7f8fbf64c8076 (diff) | |
Mention coqbot minimize feature in issue template.
This allows coqbot to reply back with a minimized
version of some code reproducing a bug, using the
coq-bug-minimizer program from Jason Gross.
See https://github.com/JasonGross/coq-tools#coq-bug-minimizer.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions