diff options
| author | notin | 2006-10-24 15:31:22 +0000 |
|---|---|---|
| committer | notin | 2006-10-24 15:31:22 +0000 |
| commit | b362e8108e3b2899229a70b0559315347d33a3c1 (patch) | |
| tree | 9ce260042c0c499026df6cb412dfc31bfb7606a0 /dev/include | |
| parent | 23811536c3e85865ceb70136c8a3403d7f6f0c48 (diff) | |
Changement de la valeur par défaut de with_geoproof (stabilité coqide)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9271 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions