diff options
| -rw-r--r-- | .depend | 20 | ||||
| -rw-r--r-- | make.result | 2 |
2 files changed, 11 insertions, 11 deletions
@@ -2160,19 +2160,19 @@ toplevel/line_oriented_parser.cmx: toplevel/line_oriented_parser.cmi toplevel/metasyntax.cmo: toplevel/vernacexpr.cmo lib/util.cmi \ interp/topconstr.cmi tactics/tacinterp.cmi library/summary.cmi \ pretyping/rawterm.cmi parsing/pptactic.cmi interp/ppextend.cmi lib/pp.cmi \ - parsing/pcoq.cmi lib/options.cmi interp/notation.cmi library/nametab.cmi \ - kernel/names.cmi library/libobject.cmi library/libnames.cmi \ - library/lib.cmi parsing/lexer.cmi library/global.cmi parsing/extend.cmi \ - parsing/egrammar.cmi interp/constrintern.cmi interp/constrextern.cmi \ - pretyping/classops.cmi toplevel/metasyntax.cmi + parsing/pcoq.cmi lib/options.cmi interp/notation.cmi kernel/names.cmi \ + library/libobject.cmi library/libnames.cmi library/lib.cmi \ + parsing/lexer.cmi library/global.cmi parsing/extend.cmi \ + parsing/egrammar.cmi interp/constrintern.cmi pretyping/classops.cmi \ + toplevel/metasyntax.cmi toplevel/metasyntax.cmx: toplevel/vernacexpr.cmx lib/util.cmx \ interp/topconstr.cmx tactics/tacinterp.cmx library/summary.cmx \ pretyping/rawterm.cmx parsing/pptactic.cmx interp/ppextend.cmx lib/pp.cmx \ - parsing/pcoq.cmx lib/options.cmx interp/notation.cmx library/nametab.cmx \ - kernel/names.cmx library/libobject.cmx library/libnames.cmx \ - library/lib.cmx parsing/lexer.cmx library/global.cmx parsing/extend.cmx \ - parsing/egrammar.cmx interp/constrintern.cmx interp/constrextern.cmx \ - pretyping/classops.cmx toplevel/metasyntax.cmi + parsing/pcoq.cmx lib/options.cmx interp/notation.cmx kernel/names.cmx \ + library/libobject.cmx library/libnames.cmx library/lib.cmx \ + parsing/lexer.cmx library/global.cmx parsing/extend.cmx \ + parsing/egrammar.cmx interp/constrintern.cmx pretyping/classops.cmx \ + toplevel/metasyntax.cmi toplevel/minicoq.cmo: lib/util.cmi kernel/type_errors.cmi kernel/term.cmi \ kernel/sign.cmi kernel/safe_typing.cmi lib/pp.cmi kernel/names.cmi \ kernel/inductive.cmi parsing/g_minicoq.cmi toplevel/fhimsg.cmi \ diff --git a/make.result b/make.result index 87b06bfb4c..f6fa20f03d 100644 --- a/make.result +++ b/make.result @@ -1 +1 @@ -Sat 07/01/2006 00:30: Success +Sun 08/01/2006 00:30: Success |