diff options
| author | msozeau | 2008-02-08 17:45:42 +0000 |
|---|---|---|
| committer | msozeau | 2008-02-08 17:45:42 +0000 |
| commit | 301fcb9e20c1907864034e22dd1fdd2ab7f99c98 (patch) | |
| tree | 831467f6f2d7e11a9532378ee510f3a4f94fdff5 /dev | |
| parent | 75ebc7faec3efa967b7e6c1643566d5c06608143 (diff) | |
Documentation of CHANGES and refman doc for the implicit argument binder
`X`.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10538 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions