diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-09-23 11:18:41 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-09-23 11:18:41 +0000 |
| commit | 87ab5e4f9a4f93d152df721f97a0bcb6cddef973 (patch) | |
| tree | 53f9e45dc0a5d10f180af85876f45b3cf27ba266 /pretyping/typing.mli | |
| parent | 090b29f754f44882a49961764e63be18f0d356c4 (diff) | |
Changement de l'afficheur pour que les variables liées aient un nom indépendant des globaux quand hors but (on garde l'évitement des globaux en but, pour compatibilité)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4458 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/typing.mli')
0 files changed, 0 insertions, 0 deletions