diff options
| author | Guillaume Melquiond | 2016-12-28 16:57:35 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-12-28 16:57:35 +0100 |
| commit | ac9b9415e884dc478b1776b8792c690f61efd5ed (patch) | |
| tree | 6da3ee1e786ff57b3d6c874cc769da8edd4cc4fd /kernel | |
| parent | 021f94d7dfef5630e48e79c9238db3a24b2aa221 (diff) | |
Fix some typos in tutorial (bug #5294).
This commit uses the proper url for bug reporting, marks urls as such,
stops qualifying the Coq'Art book as new, and fix the spacing after the
Coq name.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions