diff options
| author | herbelin | 2006-07-12 13:22:17 +0000 |
|---|---|---|
| committer | herbelin | 2006-07-12 13:22:17 +0000 |
| commit | ce0a9574ac47f333d5906cf627123d932ebf2c74 (patch) | |
| tree | 7ed9e64c2b059a64f1868a260f084d2871c8b860 /kernel/cbytecodes.ml | |
| parent | 21f062a20d5170ba88c76a6c96111b3c70d0f76a (diff) | |
Documentation machine virtuelle
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9044 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions