diff options
| author | letouzey | 2008-02-08 18:16:56 +0000 |
|---|---|---|
| committer | letouzey | 2008-02-08 18:16:56 +0000 |
| commit | 009fc6e9d0c92852f3a02ff66876875b9384d41a (patch) | |
| tree | ff6a9c10a731f0f5d2fdd5df7b8e3e6cbebb641d /dev | |
| parent | 301fcb9e20c1907864034e22dd1fdd2ab7f99c98 (diff) | |
misc improvements
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10539 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions