diff options
| author |  coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-02-17 23:32:18 +0000 |
|---|---|---|
| committer | coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-02-17 23:32:18 +0000 |
| commit | a546daa8617bb722e718674765664e446d6ae048 (patch) | |
| tree | 7b2813127b5d72dd606e403911b65c72cd8c74b6 /.depend | |
| parent | 972810075672eef13bfd267d2119533549508dea (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6730 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3256,8 +3256,8 @@ contrib/omega/g_omega.cmx: lib/util.cmx tactics/tacinterp.cmx \ proofs/tacexpr.cmx proofs/refiner.cmx parsing/pptactic.cmx lib/pp.cmx \ parsing/pcoq.cmx lib/options.cmx parsing/egrammar.cmx \ contrib/omega/coq_omega.cmx toplevel/cerrors.cmx -contrib/omega/omega.cmo: lib/util.cmi kernel/names.cmi library/nameops.cmi -contrib/omega/omega.cmx: lib/util.cmx kernel/names.cmx library/nameops.cmx +contrib/omega/omega.cmo: lib/util.cmi kernel/names.cmi +contrib/omega/omega.cmx: lib/util.cmx kernel/names.cmx contrib/ring/g_quote.cmo: lib/util.cmi tactics/tacinterp.cmi \ proofs/tacexpr.cmo proofs/refiner.cmi contrib/ring/quote.cmo \ parsing/pptactic.cmi lib/pp.cmi parsing/pcoq.cmi lib/options.cmi \ |