diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-03-20 13:12:54 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-03-20 13:12:54 +0000 |
| commit | 2ad9f62e4451f5f4919abdd0775651cceea2b572 (patch) | |
| tree | b6f759d4dd832a80d54ad9cf40962ea5b58f0ba7 | |
| parent | c2a071c2028be6d15cddc9a16d3cb67a165dcf36 (diff) | |
ajout contrib/dp/Dp.vo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9721 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1101,6 +1101,8 @@ JPROVERVO= CCVO= +DPVO=contrib/dp/Dp.vo + SUBTACVO=contrib/subtac/SubtacTactics.vo contrib/subtac/Utils.vo contrib/subtac/FixSub.vo contrib/subtac/Subtac.vo \ contrib/subtac/FunctionalExtensionality.vo @@ -1109,7 +1111,7 @@ RTAUTOVO = \ CONTRIBVO = $(OMEGAVO) $(ROMEGAVO) $(RINGVO) $(FIELDVO) $(XMLVO) \ $(FOURIERVO) $(JPROVERVO) $(CCVO) $(FUNINDVO) $(SUBTACVO) \ - $(RTAUTOVO) $(RECDEFVO) $(NEWRINGVO) + $(RTAUTOVO) $(RECDEFVO) $(NEWRINGVO) $(DPVO) contrib: $(CONTRIBVO) $(CONTRIBCMO) omega: $(OMEGAVO) $(OMEGACMO) $(ROMEGAVO) $(ROMEGACMO) |