diff options
| -rw-r--r-- | .depend | 6 | ||||
| -rw-r--r-- | make.result | 2 |
2 files changed, 5 insertions, 3 deletions
@@ -1063,10 +1063,12 @@ parsing/g_rsyntax.cmx: lib/util.cmx interp/topconstr.cmx \ kernel/names.cmx library/libnames.cmx lib/bigint.cmx parsing/g_string_syntax.cmo: lib/util.cmi interp/topconstr.cmi \ pretyping/rawterm.cmi lib/pp.cmi parsing/pcoq.cmi interp/notation.cmi \ - kernel/names.cmi library/libnames.cmi parsing/g_ascii_syntax.cmo + kernel/names.cmi library/libnames.cmi parsing/g_ascii_syntax.cmo \ + interp/coqlib.cmi parsing/g_string_syntax.cmx: lib/util.cmx interp/topconstr.cmx \ pretyping/rawterm.cmx lib/pp.cmx parsing/pcoq.cmx interp/notation.cmx \ - kernel/names.cmx library/libnames.cmx parsing/g_ascii_syntax.cmx + kernel/names.cmx library/libnames.cmx parsing/g_ascii_syntax.cmx \ + interp/coqlib.cmx parsing/g_tactic.cmo: lib/util.cmi interp/topconstr.cmi proofs/tacexpr.cmo \ pretyping/rawterm.cmi lib/pp.cmi parsing/pcoq.cmi kernel/names.cmi \ parsing/lexer.cmi interp/genarg.cmi diff --git a/make.result b/make.result index fde812e77e..5f59947eab 100644 --- a/make.result +++ b/make.result @@ -1 +1 @@ -Sat 04/02/2006 00:30: Success +Sun 05/02/2006 00:30: Success |