diff options
| author |  coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-02-04 23:35:58 +0000 |
|---|---|---|
| committer | coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-02-04 23:35:58 +0000 |
| commit | 285ce142bc17fcaea9bc5b73e98f129c5ad3b2d5 (patch) | |
| tree | d7de46be67f0bff618046f5002f2be8179188d4e | |
| parent | 6f602c388a9f21fdbb013c1739d5c856c84f0dc9 (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7989 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 fde812e77..5f59947ea 100644 --- a/make.result +++ b/make.result @@ -1 +1 @@ -Sat 04/02/2006 00:30: Success +Sun 05/02/2006 00:30: Success |