diff options
| author | herbelin | 2001-09-24 20:34:25 +0000 |
|---|---|---|
| committer | herbelin | 2001-09-24 20:34:25 +0000 |
| commit | 5cf95106d590fc6bd393c71db2b57179983b2d27 (patch) | |
| tree | e5a662a51ef2ced747f41219a0d39e28319775e0 /kernel/cbytecodes.mli | |
| parent | 15e6ecfb6fee27d926cdd2f59bda4531b8ed3879 (diff) | |
Mise en place avertissements pour rep�rer les erreurs volontaires de coq-tex
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8226 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions