diff options
| author |  gregoire <gregoire@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-12-05 17:52:50 +0000 |
|---|---|---|
| committer | gregoire <gregoire@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-12-05 17:52:50 +0000 |
| commit | 193c6427645d960f195ab58872ed28301c76b0f3 (patch) | |
| tree | a868cd0cb0a94e40e9b41b456c64c25a2d88c5d6 /kernel/cbytecodes.mli | |
| parent | a3508843fa932cbc9a3c0b0d3dc5004752d2a8e4 (diff) | |
correction bug 881.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7641 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions