diff options
| author | notin | 2008-10-20 11:55:00 +0000 |
|---|---|---|
| committer | notin | 2008-10-20 11:55:00 +0000 |
| commit | c98ec252732f6735c23cd622166c0b09ca254c59 (patch) | |
| tree | 741ab061df48b6420ddbc38d10aec4986652dc68 /kernel/cbytecodes.mli | |
| parent | d4f002fedb5669581ff2e270de798f05221c1313 (diff) | |
Syntaxe de COQBIN
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11475 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions