diff options
| author | notin | 2008-04-29 12:33:12 +0000 |
|---|---|---|
| committer | notin | 2008-04-29 12:33:12 +0000 |
| commit | 2ead6184bda0292926dc84834003798a2ae47c19 (patch) | |
| tree | b156422f4f0c77382440ba1ca42f94a20428d255 /theories/Numbers/Integer/TreeMod | |
| parent | 73798a12d39b03e1823b93c1364a86d14e2eec0a (diff) | |
Correction d'un bug dans coq_makefile: génération des règles implicites en présence de l'option -custom
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10869 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Numbers/Integer/TreeMod')
0 files changed, 0 insertions, 0 deletions