diff options
author | 2000-11-22 07:05:42 +0000 | |
---|---|---|
committer | 2000-11-22 07:05:42 +0000 | |
commit | 651879023de7c2a96e58ebb3dfc32c25f4765b14 (patch) | |
tree | 822728caf369d4f399458bb4f18fe8f9f793f186 /.depend | |
parent | 4e42aeb1386eb5d850f26fadef784b8e9e836394 (diff) |
retablissement de line_oriented_parser pour Yves
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@915 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
-rw-r--r-- | .depend | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -1049,6 +1049,8 @@ toplevel/himsg.cmx: parsing/ast.cmx kernel/environ.cmx library/global.cmx \ parsing/printer.cmx kernel/reduction.cmx kernel/sign.cmx \ proofs/tacmach.cmx kernel/term.cmx kernel/type_errors.cmx lib/util.cmx \ toplevel/himsg.cmi +toplevel/line_oriented_parser.cmo: toplevel/line_oriented_parser.cmi +toplevel/line_oriented_parser.cmx: toplevel/line_oriented_parser.cmi toplevel/metasyntax.cmo: parsing/ast.cmi parsing/astterm.cmi \ parsing/coqast.cmi parsing/egrammar.cmi parsing/esyntax.cmi \ parsing/extend.cmi library/lib.cmi library/libobject.cmi \ @@ -1069,11 +1071,13 @@ toplevel/minicoq.cmx: kernel/declarations.cmx toplevel/fhimsg.cmx \ parsing/g_minicoq.cmi kernel/inductive.cmx kernel/names.cmx lib/pp.cmx \ kernel/safe_typing.cmx kernel/sign.cmx kernel/term.cmx \ kernel/type_errors.cmx lib/util.cmx -toplevel/protectedtoplevel.cmo: toplevel/errors.cmi parsing/pcoq.cmi \ - lib/pp.cmi toplevel/vernac.cmi toplevel/vernacinterp.cmi \ +toplevel/protectedtoplevel.cmo: toplevel/errors.cmi \ + toplevel/line_oriented_parser.cmi parsing/pcoq.cmi lib/pp.cmi \ + toplevel/vernac.cmi toplevel/vernacinterp.cmi \ toplevel/protectedtoplevel.cmi -toplevel/protectedtoplevel.cmx: toplevel/errors.cmx parsing/pcoq.cmx \ - lib/pp.cmx toplevel/vernac.cmx toplevel/vernacinterp.cmx \ +toplevel/protectedtoplevel.cmx: toplevel/errors.cmx \ + toplevel/line_oriented_parser.cmx parsing/pcoq.cmx lib/pp.cmx \ + toplevel/vernac.cmx toplevel/vernacinterp.cmx \ toplevel/protectedtoplevel.cmi toplevel/record.cmo: parsing/ast.cmi parsing/astterm.cmi toplevel/class.cmi \ toplevel/command.cmi parsing/coqast.cmi kernel/declarations.cmi \ |