diff options
| author | herbelin | 2007-03-15 16:34:29 +0000 |
|---|---|---|
| committer | herbelin | 2007-03-15 16:34:29 +0000 |
| commit | bda9e8da3320c3d54be356878c8d8cd9b3caec11 (patch) | |
| tree | 8f35caa28331b14c051552e44a85becbf765b3f6 /pretyping | |
| parent | 2587079016467becd13b607c24212c16785456a3 (diff) | |
Prévention notations récursives sans terminal à gauche et qui font boucler
le parser
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9706 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions