diff options
| author | herbelin | 2002-12-04 22:45:00 +0000 |
|---|---|---|
| committer | herbelin | 2002-12-04 22:45:00 +0000 |
| commit | f6c7ba13084782457d1a41c1e8d573479b105fa0 (patch) | |
| tree | c23eb24caac9f86e756eaf065ff5978f7168ae60 /dev/include | |
| parent | 885673cbec549d24bd57b9e16bfb5375e426101c (diff) | |
Correction divers bugs d'affichage; explicitation du niveau de grammaire quand mentionn explicitement par l'utilisateur
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3377 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions