diff options
| author | Hugo Herbelin | 2018-06-14 01:09:43 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-06-15 12:08:56 +0200 |
| commit | b75eba7b7e2b80ca59ff94397ee28fa951c173a9 (patch) | |
| tree | 755768c400efb7c3ad0eb4a3ce839b54d4f9f0b8 /dev/header.ml | |
| parent | 9f8cea70ed5c6bff03eada4f2808be0da7fa4412 (diff) | |
Very first try at listing the critical bugs of the history of Coq.
I let open several questions about fixes to the kernel which maybe
were not critical.
I skipped what seemed to have been bugs in beta-releases.
Need double-checks, decision about the format, etc.
Diffstat (limited to 'dev/header.ml')
0 files changed, 0 insertions, 0 deletions