diff options
author | 2010-02-11 13:34:54 +0000 | |
---|---|---|
committer | 2010-02-11 13:34:54 +0000 | |
commit | 7db851616eabbb82ce3608bb3b05c041b5ac3cb3 (patch) | |
tree | d28040c816aa00b3fb80e5e53e52dc34d8be6e1d /README.win | |
parent | b94a7a24aef33b7ed37ebb215f9ca18f9096eece (diff) |
Documentation of the ! annotation for functor application
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12746 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README.win')
0 files changed, 0 insertions, 0 deletions