diff options
-rw-r--r-- | .depend | 74 | ||||
-rw-r--r-- | make.result | 2 |
2 files changed, 65 insertions, 11 deletions
@@ -1408,21 +1408,21 @@ pretyping/pretyping.cmo: lib/util.cmi kernel/typeops.cmi \ kernel/sign.cmi pretyping/retyping.cmi pretyping/reductionops.cmi \ pretyping/recordops.cmi pretyping/rawterm.cmi \ pretyping/pretype_errors.cmi lib/pp.cmi pretyping/pattern.cmi \ - kernel/names.cmi library/libnames.cmi pretyping/inductiveops.cmi \ - kernel/inductive.cmi pretyping/evd.cmi pretyping/evarutil.cmi \ - pretyping/evarconv.cmi kernel/environ.cmi lib/dyn.cmi \ - kernel/declarations.cmi pretyping/coercion.cmi pretyping/classops.cmi \ - pretyping/cases.cmi pretyping/pretyping.cmi + kernel/names.cmi library/nameops.cmi library/libnames.cmi \ + pretyping/inductiveops.cmi kernel/inductive.cmi pretyping/evd.cmi \ + pretyping/evarutil.cmi pretyping/evarconv.cmi kernel/environ.cmi \ + lib/dyn.cmi kernel/declarations.cmi pretyping/coercion.cmi \ + pretyping/classops.cmi pretyping/cases.cmi pretyping/pretyping.cmi pretyping/pretyping.cmx: lib/util.cmx kernel/typeops.cmx \ kernel/type_errors.cmx pretyping/termops.cmx kernel/term.cmx \ kernel/sign.cmx pretyping/retyping.cmx pretyping/reductionops.cmx \ pretyping/recordops.cmx pretyping/rawterm.cmx \ pretyping/pretype_errors.cmx lib/pp.cmx pretyping/pattern.cmx \ - kernel/names.cmx library/libnames.cmx pretyping/inductiveops.cmx \ - kernel/inductive.cmx pretyping/evd.cmx pretyping/evarutil.cmx \ - pretyping/evarconv.cmx kernel/environ.cmx lib/dyn.cmx \ - kernel/declarations.cmx pretyping/coercion.cmx pretyping/classops.cmx \ - pretyping/cases.cmx pretyping/pretyping.cmi + kernel/names.cmx library/nameops.cmx library/libnames.cmx \ + pretyping/inductiveops.cmx kernel/inductive.cmx pretyping/evd.cmx \ + pretyping/evarutil.cmx pretyping/evarconv.cmx kernel/environ.cmx \ + lib/dyn.cmx kernel/declarations.cmx pretyping/coercion.cmx \ + pretyping/classops.cmx pretyping/cases.cmx pretyping/pretyping.cmi pretyping/rawterm.cmo: lib/util.cmi kernel/univ.cmi kernel/term.cmi \ kernel/sign.cmi library/nametab.cmi kernel/names.cmi library/libnames.cmi \ pretyping/evd.cmi lib/dyn.cmi pretyping/rawterm.cmi @@ -3449,6 +3449,30 @@ contrib/subtac/interp.cmx: lib/util.cmx kernel/typeops.cmx \ lib/dyn.cmx kernel/declarations.cmx library/decl_kinds.cmx \ interp/coqlib.cmx contrib/subtac/context.cmx interp/constrintern.cmx \ toplevel/command.cmx pretyping/classops.cmx pretyping/cases.cmx +contrib/subtac/interp_fixpoint.cmo: lib/util.cmi kernel/typeops.cmi \ + kernel/type_errors.cmi interp/topconstr.cmi pretyping/termops.cmi \ + kernel/term.cmi contrib/subtac/subtac_errors.cmo \ + contrib/subtac/subtac_coercion.cmo kernel/sign.cmi \ + contrib/subtac/scoq.cmo pretyping/reductionops.cmi \ + pretyping/recordops.cmi pretyping/rawterm.cmi parsing/printer.cmi \ + pretyping/pretype_errors.cmi parsing/ppconstr.cmi lib/pp.cmi \ + pretyping/pattern.cmi kernel/names.cmi library/nameops.cmi \ + library/libnames.cmi library/global.cmi pretyping/evd.cmi \ + pretyping/evarutil.cmi pretyping/evarconv.cmi contrib/subtac/eterm.cmi \ + kernel/environ.cmi lib/dyn.cmi interp/coqlib.cmi \ + contrib/subtac/context.cmo pretyping/classops.cmi +contrib/subtac/interp_fixpoint.cmx: lib/util.cmx kernel/typeops.cmx \ + kernel/type_errors.cmx interp/topconstr.cmx pretyping/termops.cmx \ + kernel/term.cmx contrib/subtac/subtac_errors.cmx \ + contrib/subtac/subtac_coercion.cmx kernel/sign.cmx \ + contrib/subtac/scoq.cmx pretyping/reductionops.cmx \ + pretyping/recordops.cmx pretyping/rawterm.cmx parsing/printer.cmx \ + pretyping/pretype_errors.cmx parsing/ppconstr.cmx lib/pp.cmx \ + pretyping/pattern.cmx kernel/names.cmx library/nameops.cmx \ + library/libnames.cmx library/global.cmx pretyping/evd.cmx \ + pretyping/evarutil.cmx pretyping/evarconv.cmx contrib/subtac/eterm.cmx \ + kernel/environ.cmx lib/dyn.cmx interp/coqlib.cmx \ + contrib/subtac/context.cmx pretyping/classops.cmx contrib/subtac/scoq.cmo: lib/util.cmi interp/topconstr.cmi \ pretyping/termops.cmi kernel/term.cmi parsing/printer.cmi \ pretyping/pretype_errors.cmi lib/pp.cmi kernel/names.cmi \ @@ -3473,6 +3497,36 @@ contrib/subtac/sparser.cmx: toplevel/vernacinterp.cmx \ kernel/names.cmx library/nameops.cmx library/libnames.cmx \ contrib/subtac/interp.cmx interp/genarg.cmx kernel/environ.cmx \ parsing/egrammar.cmx toplevel/cerrors.cmx +contrib/subtac/subtac.cmo: toplevel/vernacexpr.cmo lib/util.cmi \ + kernel/typeops.cmi kernel/type_errors.cmi pretyping/termops.cmi \ + kernel/term.cmi contrib/subtac/subtac_errors.cmo \ + contrib/subtac/subtac_coercion.cmo kernel/sign.cmi \ + contrib/subtac/scoq.cmo pretyping/reductionops.cmi \ + pretyping/recordops.cmi pretyping/rawterm.cmi parsing/printer.cmi \ + pretyping/pretype_errors.cmi parsing/ppconstr.cmi lib/pp.cmi \ + proofs/pfedit.cmi pretyping/pattern.cmi kernel/names.cmi \ + library/library.cmi library/libnames.cmi \ + contrib/subtac/interp_fixpoint.cmo contrib/subtac/interp.cmo \ + toplevel/himsg.cmi library/global.cmi pretyping/evd.cmi \ + pretyping/evarutil.cmi pretyping/evarconv.cmi contrib/subtac/eterm.cmi \ + kernel/environ.cmi lib/dyn.cmi interp/coqlib.cmi \ + contrib/subtac/context.cmo toplevel/command.cmi pretyping/classops.cmi \ + toplevel/cerrors.cmi +contrib/subtac/subtac.cmx: toplevel/vernacexpr.cmx lib/util.cmx \ + kernel/typeops.cmx kernel/type_errors.cmx pretyping/termops.cmx \ + kernel/term.cmx contrib/subtac/subtac_errors.cmx \ + contrib/subtac/subtac_coercion.cmx kernel/sign.cmx \ + contrib/subtac/scoq.cmx pretyping/reductionops.cmx \ + pretyping/recordops.cmx pretyping/rawterm.cmx parsing/printer.cmx \ + pretyping/pretype_errors.cmx parsing/ppconstr.cmx lib/pp.cmx \ + proofs/pfedit.cmx pretyping/pattern.cmx kernel/names.cmx \ + library/library.cmx library/libnames.cmx \ + contrib/subtac/interp_fixpoint.cmx contrib/subtac/interp.cmx \ + toplevel/himsg.cmx library/global.cmx pretyping/evd.cmx \ + pretyping/evarutil.cmx pretyping/evarconv.cmx contrib/subtac/eterm.cmx \ + kernel/environ.cmx lib/dyn.cmx interp/coqlib.cmx \ + contrib/subtac/context.cmx toplevel/command.cmx pretyping/classops.cmx \ + toplevel/cerrors.cmx contrib/subtac/subtac_coercion.cmo: lib/util.cmi kernel/typeops.cmi \ kernel/term.cmi contrib/subtac/subtac_errors.cmo contrib/subtac/scoq.cmo \ pretyping/retyping.cmi pretyping/reductionops.cmi kernel/reduction.cmi \ diff --git a/make.result b/make.result index adf6bdad8..80b22e0a8 100644 --- a/make.result +++ b/make.result @@ -1 +1 @@ -Sun 05/03/2006 00:30: Success +Mon 06/03/2006 00:30: Success |