diff options
| author | Arnaud Spiwack | 2015-11-06 09:15:47 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-11-11 22:14:06 +0100 |
| commit | e82fc7cb4104d28619448bde374afde7e32f3dc2 (patch) | |
| tree | adb2a1226d83e3335ac44f99b058cccdabb19a77 /kernel/nativecode.ml | |
| parent | 5357b9849bd6eb0be4f8d60b4e1c091ad5167932 (diff) | |
Prehistory of Coq: various corrections on English.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions