diff options
author | glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-09-07 11:45:34 +0000 |
---|---|---|
committer | glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-09-07 11:45:34 +0000 |
commit | 69e52c438714e01fbaefc05b61f47a5ae95a7205 (patch) | |
tree | 2d85f30d0b27a57952792b70b6078ecb57f2ea4f /contrib/interface | |
parent | eb54de0f8a4c0fd1d1240f91baab103d527b659a (diff) |
Update CHANGES and INSTALL
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11379 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/interface')
0 files changed, 0 insertions, 0 deletions