diff options
| author | Arnaud Spiwack | 2015-11-05 19:43:44 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-11-11 22:14:06 +0100 |
| commit | 5357b9849bd6eb0be4f8d60b4e1c091ad5167932 (patch) | |
| tree | 76ff8f1e2a08fe2bfd8b5e22a579d56abe1e2d9d /kernel/nativecode.ml | |
| parent | 4444f04cfdbe449d184ac1ce0a56eb484805364d (diff) | |
Prehistory of Coq: asciidoc conversion.
Formatting markup + typography.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions