diff options
| author | letouzey | 2008-06-04 12:15:17 +0000 |
|---|---|---|
| committer | letouzey | 2008-06-04 12:15:17 +0000 |
| commit | 6915c7d1d60740ffd20a60c3801446363b6d7d6a (patch) | |
| tree | a059c1ece18f72340a4ce7973ef42bb3006fd9dc /dev/base_include | |
| parent | 908900165bc6a5b2eb9bc4f177311ee2409dbd6a (diff) | |
more updates of CHANGES
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11049 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions