diff options
| author | filliatr | 2004-10-17 23:02:47 +0000 |
|---|---|---|
| committer | filliatr | 2004-10-17 23:02:47 +0000 |
| commit | a88f5254ec70942840a86e6d39aff832cf125790 (patch) | |
| tree | e49cd20505450aa67727fd7333e8cd5e4188ed76 | |
| parent | 43bcf0d5824cc7757fc473e15851cd483736afe6 (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6229 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 6 | ||||
| -rw-r--r-- | make.result | 2 |
2 files changed, 5 insertions, 3 deletions
@@ -1459,14 +1459,16 @@ pretyping/tacred.cmo: pretyping/cbv.cmi kernel/closure.cmi \ library/libnames.cmi library/nameops.cmi kernel/names.cmi \ library/nametab.cmi lib/pp.cmi pretyping/rawterm.cmi \ pretyping/reductionops.cmi pretyping/retyping.cmi library/summary.cmi \ - kernel/term.cmi pretyping/termops.cmi lib/util.cmi pretyping/tacred.cmi + kernel/term.cmi pretyping/termops.cmi pretyping/typing.cmi lib/util.cmi \ + pretyping/tacred.cmi pretyping/tacred.cmx: pretyping/cbv.cmx kernel/closure.cmx \ kernel/conv_oracle.cmx kernel/declarations.cmx kernel/environ.cmx \ pretyping/evd.cmx library/global.cmx kernel/inductive.cmx \ library/libnames.cmx library/nameops.cmx kernel/names.cmx \ library/nametab.cmx lib/pp.cmx pretyping/rawterm.cmx \ pretyping/reductionops.cmx pretyping/retyping.cmx library/summary.cmx \ - kernel/term.cmx pretyping/termops.cmx lib/util.cmx pretyping/tacred.cmi + kernel/term.cmx pretyping/termops.cmx pretyping/typing.cmx lib/util.cmx \ + pretyping/tacred.cmi pretyping/termops.cmo: kernel/environ.cmi library/global.cmi library/lib.cmi \ library/libnames.cmi library/nameops.cmi kernel/names.cmi \ library/nametab.cmi lib/pp.cmi kernel/sign.cmi kernel/term.cmi \ diff --git a/make.result b/make.result index d24e9ff349..833114304d 100644 --- a/make.result +++ b/make.result @@ -1 +1 @@ -Sat 16/10/2004 01:00: Success +Mon 18/10/2004 01:00: Failure |