diff options
| author | vsiles | 2008-03-11 15:15:17 +0000 |
|---|---|---|
| committer | vsiles | 2008-03-11 15:15:17 +0000 |
| commit | 1b5833af64675fe7c640a1197a6e177640ca0623 (patch) | |
| tree | 52e9e965abf8f2e2558913cdf1ecb079fed41d65 /kernel/cbytecodes.mli | |
| parent | 5ea4763eadb4761143bc1023886c8396c5ffca01 (diff) | |
Forget to update the CHANGES file after the commit r10180
(about the Scheme Equality mechanism)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10656 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions