diff options
| author | Gaëtan Gilbert | 2018-02-11 21:55:17 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-02-11 21:55:17 +0100 |
| commit | e4529a4349110c2edb6bd08f873175db71363a84 (patch) | |
| tree | 36db32877f8a7a6ac4338d8d626f0ad2e8e37834 /kernel/type_errors.mli | |
| parent | 568dffcc32cfdec78e7824fa6875d892fb9cfd5a (diff) | |
coqdev.el: add installation instructions.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions