diff options
| author | herbelin | 2004-03-12 17:00:12 +0000 |
|---|---|---|
| committer | herbelin | 2004-03-12 17:00:12 +0000 |
| commit | 924520d6341af43ece864e4714bd52c939feb22b (patch) | |
| tree | 763282a689923388b60f6e62bd0864b3dfdd5536 /dev | |
| parent | 9a387363e4d9da05c65adfe1ef5d877d4493e6fd (diff) | |
Ne pas ajouter le contexte de section dans Abstract, il est deja inclus (avec possibles modifications par clear) dans le contexte de but
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5468 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions