diff options
| author | Arnaud Spiwack | 2015-11-06 09:18:54 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-11-11 22:14:06 +0100 |
| commit | bbfa17765599a04931efa68a5397f418e6ea5b39 (patch) | |
| tree | 983a558276920e745a65c41e864f9433f657259c /kernel/nativecode.mli | |
| parent | e82fc7cb4104d28619448bde374afde7e32f3dc2 (diff) | |
Prehistory of Coq: consistency.
Don't use abbreviated first names in sentences.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions