diff options
| author | Hugo Herbelin | 2015-11-15 18:51:33 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-11-16 13:49:36 +0100 |
| commit | 8e482fc932fa2b1893025d914d42dd17881c2fac (patch) | |
| tree | c20b545fdc59c3ce5c313fa7bdfe4a05be642f90 /kernel | |
| parent | 3aeb18bf1412a27309c39713e05eca2c27706ca8 (diff) | |
Being more precise and faithful about the origin of the file reporting
about the prehistory of Coq.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions