diff options
| author | herbelin | 2001-02-06 00:27:16 +0000 |
|---|---|---|
| committer | herbelin | 2001-02-06 00:27:16 +0000 |
| commit | e056138464f96fa493c47c1bc9f76e85fad9c262 (patch) | |
| tree | 05c71d7de9dc5dfbf77c115cf0b73c4336d0cda2 /kernel | |
| parent | 7cff0b6c6a492fd39640f7e73f4aa88f932fb0e2 (diff) | |
Ajout d'une commande pour afficher chaque coercion à la demande
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1333 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions