diff options
| author | herbelin | 2004-02-19 15:58:17 +0000 |
|---|---|---|
| committer | herbelin | 2004-02-19 15:58:17 +0000 |
| commit | 06a8f83186d685a98d57c133b213e83a31a9e30f (patch) | |
| tree | 70a01683fdf0d2fc3ed4004445e37275acf53562 /dev/include | |
| parent | 770481a1a1b0b7dcc349ea6c04cef98c841ba3e5 (diff) | |
Bugs/insuffisances trouvees en traduisant MMode
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5361 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions