diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-12-19 10:29:41 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-12-19 10:29:41 +0000 |
| commit | eb07a02898745e12eb7060da9a9b717b73a8a239 (patch) | |
| tree | 78b6684328cbe4cffb9797a03268870f1db3598a /contrib/xml | |
| parent | 979a23f8fcb65a1a6d6c5aac15e5b2e2714c92db (diff) | |
suite du commit precedent
- amelioration des messages d'erreurs de la condition de garde
- reorganisation de clenv.ml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3457 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/xml')
0 files changed, 0 insertions, 0 deletions