diff options
| author | letouzey | 2010-02-11 13:34:54 +0000 |
|---|---|---|
| committer | letouzey | 2010-02-11 13:34:54 +0000 |
| commit | 7db851616eabbb82ce3608bb3b05c041b5ac3cb3 (patch) | |
| tree | d28040c816aa00b3fb80e5e53e52dc34d8be6e1d /plugins/xml/doubleTypeInference.mli | |
| 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 'plugins/xml/doubleTypeInference.mli')
0 files changed, 0 insertions, 0 deletions