diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-12-26 17:07:13 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-12-26 17:07:13 +0000 |
| commit | 1543d091ad7923cab049da8871ec010ab8a6d125 (patch) | |
| tree | ef434eb4bf43e9be0be525a514f91ef369619c44 /tools/coqdoc/cpretty.mll | |
| parent | 686f2ecc39bd4dad838476c481f7b38d2cc54205 (diff) | |
Reference Manual: misc fixes (spelling, index, updating pre-8.0 syntax).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14864 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools/coqdoc/cpretty.mll')
0 files changed, 0 insertions, 0 deletions