diff options
| -rw-r--r-- | .depend | 26 | ||||
| -rw-r--r-- | make.result | 2 |
2 files changed, 15 insertions, 13 deletions
@@ -3112,12 +3112,13 @@ contrib/recdef/recdef.cmo: toplevel/vernacinterp.cmi lib/util.cmi \ pretyping/rawterm.cmi proofs/proof_type.cmi parsing/printer.cmi \ pretyping/pretyping.cmi lib/pp.cmi proofs/pfedit.cmi parsing/pcoq.cmi \ lib/options.cmi library/nametab.cmi kernel/names.cmi library/nameops.cmi \ - library/libnames.cmi library/global.cmi interp/genarg.cmi \ - pretyping/evd.cmi tactics/equality.cmi kernel/environ.cmi \ - kernel/entries.cmi parsing/egrammar.cmi tactics/eauto.cmi \ - library/declare.cmi kernel/declarations.cmi library/decl_kinds.cmo \ - interp/coqlib.cmi interp/constrintern.cmi toplevel/command.cmi \ - kernel/closure.cmi toplevel/cerrors.cmi tactics/auto.cmi + library/libnames.cmi tactics/hiddentac.cmi library/global.cmi \ + interp/genarg.cmi pretyping/evd.cmi tactics/equality.cmi \ + kernel/environ.cmi kernel/entries.cmi parsing/egrammar.cmi \ + tactics/eauto.cmi library/declare.cmi kernel/declarations.cmi \ + library/decl_kinds.cmo interp/coqlib.cmi interp/constrintern.cmi \ + toplevel/command.cmi kernel/closure.cmi toplevel/cerrors.cmi \ + tactics/auto.cmi contrib/recdef/recdef.cmx: toplevel/vernacinterp.cmx lib/util.cmx \ pretyping/typing.cmx interp/topconstr.cmx pretyping/termops.cmx \ kernel/term.cmx tactics/tactics.cmx tactics/tacticals.cmx \ @@ -3125,12 +3126,13 @@ contrib/recdef/recdef.cmx: toplevel/vernacinterp.cmx lib/util.cmx \ pretyping/rawterm.cmx proofs/proof_type.cmx parsing/printer.cmx \ pretyping/pretyping.cmx lib/pp.cmx proofs/pfedit.cmx parsing/pcoq.cmx \ lib/options.cmx library/nametab.cmx kernel/names.cmx library/nameops.cmx \ - library/libnames.cmx library/global.cmx interp/genarg.cmx \ - pretyping/evd.cmx tactics/equality.cmx kernel/environ.cmx \ - kernel/entries.cmx parsing/egrammar.cmx tactics/eauto.cmx \ - library/declare.cmx kernel/declarations.cmx library/decl_kinds.cmx \ - interp/coqlib.cmx interp/constrintern.cmx toplevel/command.cmx \ - kernel/closure.cmx toplevel/cerrors.cmx tactics/auto.cmx + library/libnames.cmx tactics/hiddentac.cmx library/global.cmx \ + interp/genarg.cmx pretyping/evd.cmx tactics/equality.cmx \ + kernel/environ.cmx kernel/entries.cmx parsing/egrammar.cmx \ + tactics/eauto.cmx library/declare.cmx kernel/declarations.cmx \ + library/decl_kinds.cmx interp/coqlib.cmx interp/constrintern.cmx \ + toplevel/command.cmx kernel/closure.cmx toplevel/cerrors.cmx \ + tactics/auto.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 interp/genarg.cmi \ diff --git a/make.result b/make.result index 639398fecc..4014e5e8d7 100644 --- a/make.result +++ b/make.result @@ -1 +1 @@ -Thu 12/01/2006 00:30: Success +Fri 13/01/2006 00:30: Success |