diff options
| author | coq | 2006-01-31 23:36:04 +0000 |
|---|---|---|
| committer | coq | 2006-01-31 23:36:04 +0000 |
| commit | 88ad2844b6480bd933c8a7bee29ec4c63a13fadf (patch) | |
| tree | 2cbece4f93a47515fe5cc666900cae7459543040 | |
| parent | c822d26db8d3fc5ad1b951ca2b7fe6131f5fe721 (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7968 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 12 | ||||
| -rw-r--r-- | make.result | 2 |
2 files changed, 13 insertions, 1 deletions
@@ -1003,6 +1003,12 @@ parsing/extend.cmo: lib/util.cmi interp/topconstr.cmi interp/ppextend.cmi \ lib/pp.cmi kernel/names.cmi interp/genarg.cmi parsing/extend.cmi parsing/extend.cmx: lib/util.cmx interp/topconstr.cmx interp/ppextend.cmx \ lib/pp.cmx kernel/names.cmx interp/genarg.cmx parsing/extend.cmi +parsing/g_ascii_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 interp/coqlib.cmi lib/bigint.cmi +parsing/g_ascii_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 interp/coqlib.cmx lib/bigint.cmx parsing/g_constr.cmo: lib/util.cmi interp/topconstr.cmi kernel/term.cmi \ pretyping/rawterm.cmi lib/pp.cmi parsing/pcoq.cmi kernel/names.cmi \ library/libnames.cmi parsing/lexer.cmi lib/bigint.cmi @@ -1047,6 +1053,12 @@ parsing/g_rsyntax.cmo: lib/util.cmi interp/topconstr.cmi \ parsing/g_rsyntax.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 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 +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 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 11e1944f73..261ef12873 100644 --- a/make.result +++ b/make.result @@ -1 +1 @@ -Tue 31/01/2006 00:30: Success +Wed 01/02/2006 00:30: Success |