diff options
| author | herbelin | 2002-03-22 16:55:25 +0000 |
|---|---|---|
| committer | herbelin | 2002-03-22 16:55:25 +0000 |
| commit | 75eedc50871a2e94dc35881bc5c86123091bf980 (patch) | |
| tree | 50966db22e80c67be3e4189a21b53f47ed0a614c /kernel | |
| parent | c2f4625e7e0fea969da5b44a0ea543ebfdc32d87 (diff) | |
Bug d'affichage des réels dû à une collision entre les APPLINSIDETAIL de Zsyntax et de Rsyntax (dont les règles ne s'appliquent plus dans le même ordre depuis la modification de l'ordre de chargement des Require)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2564 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions