diff options
| author | filliatr | 2001-11-27 10:36:00 +0000 |
|---|---|---|
| committer | filliatr | 2001-11-27 10:36:00 +0000 |
| commit | 3c3e05ac0660c9de2024425e72e83b9a4f11a3de (patch) | |
| tree | 944bf542d8982faa6e73283f35c1b117887884a9 | |
| parent | 5f322bafad483d6868c385235f39d157e999051b (diff) | |
mise a jour
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2244 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -10,7 +10,7 @@ kernel/esubst.cmi: lib/util.cmi kernel/indtypes.cmi: kernel/declarations.cmi kernel/environ.cmi \ kernel/names.cmi kernel/term.cmi kernel/typeops.cmi kernel/univ.cmi kernel/inductive.cmi: kernel/declarations.cmi kernel/environ.cmi \ - kernel/names.cmi kernel/term.cmi kernel/univ.cmi + kernel/names.cmi kernel/term.cmi kernel/type_errors.cmi kernel/univ.cmi kernel/names.cmi: lib/pp.cmi lib/predicate.cmi kernel/reduction.cmi: kernel/environ.cmi kernel/sign.cmi kernel/term.cmi \ kernel/univ.cmi @@ -1483,18 +1483,18 @@ toplevel/protectedtoplevel.cmx: toplevel/errors.cmx \ toplevel/record.cmo: parsing/ast.cmi parsing/astterm.cmi toplevel/class.cmi \ toplevel/command.cmi parsing/coqast.cmi kernel/declarations.cmi \ library/declare.cmi kernel/environ.cmi pretyping/evd.cmi \ - library/global.cmi toplevel/himsg.cmi kernel/indtypes.cmi \ - kernel/inductive.cmi pretyping/inductiveops.cmi kernel/names.cmi \ - library/nametab.cmi lib/pp.cmi pretyping/recordops.cmi \ + library/global.cmi kernel/indtypes.cmi kernel/inductive.cmi \ + pretyping/inductiveops.cmi kernel/names.cmi library/nametab.cmi \ + lib/options.cmi lib/pp.cmi parsing/printer.cmi pretyping/recordops.cmi \ kernel/safe_typing.cmi kernel/term.cmi pretyping/termops.cmi \ kernel/type_errors.cmi kernel/typeops.cmi lib/util.cmi \ toplevel/record.cmi toplevel/record.cmx: parsing/ast.cmx parsing/astterm.cmx toplevel/class.cmx \ toplevel/command.cmx parsing/coqast.cmx kernel/declarations.cmx \ library/declare.cmx kernel/environ.cmx pretyping/evd.cmx \ - library/global.cmx toplevel/himsg.cmx kernel/indtypes.cmx \ - kernel/inductive.cmx pretyping/inductiveops.cmx kernel/names.cmx \ - library/nametab.cmx lib/pp.cmx pretyping/recordops.cmx \ + library/global.cmx kernel/indtypes.cmx kernel/inductive.cmx \ + pretyping/inductiveops.cmx kernel/names.cmx library/nametab.cmx \ + lib/options.cmx lib/pp.cmx parsing/printer.cmx pretyping/recordops.cmx \ kernel/safe_typing.cmx kernel/term.cmx pretyping/termops.cmx \ kernel/type_errors.cmx kernel/typeops.cmx lib/util.cmx \ toplevel/record.cmi |