diff options
| author | coq | 2005-11-02 23:32:01 +0000 |
|---|---|---|
| committer | coq | 2005-11-02 23:32:01 +0000 |
| commit | 489f8edcaa1303c7a1708f18a13e88bb73799744 (patch) | |
| tree | ae3d604b5edb0309481c90e7af80e2de73229216 | |
| parent | 2f5c0f8880cd4ccc27cef4980768d35c9ebd26ea (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7494 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3577,7 +3577,7 @@ contrib/xml/xml.cmo: contrib/xml/xml.cmi contrib/xml/xml.cmx: contrib/xml/xml.cmi contrib/xml/xmlcommand.cmo: contrib/xml/xml.cmi toplevel/vernac.cmi \ lib/util.cmi contrib/xml/unshare.cmi kernel/term.cmi proofs/tacmach.cmi \ - kernel/sign.cmi pretyping/recordops.cmi proofs/proof_trees.cmi \ + pretyping/recordops.cmi proofs/proof_trees.cmi \ contrib/xml/proof2aproof.cmo proofs/pfedit.cmi library/nametab.cmi \ kernel/names.cmi library/library.cmi library/libobject.cmi \ library/libnames.cmi library/lib.cmi parsing/lexer.cmi \ @@ -3588,7 +3588,7 @@ contrib/xml/xmlcommand.cmo: contrib/xml/xml.cmi toplevel/vernac.cmi \ contrib/xml/xmlcommand.cmi contrib/xml/xmlcommand.cmx: contrib/xml/xml.cmx toplevel/vernac.cmx \ lib/util.cmx contrib/xml/unshare.cmx kernel/term.cmx proofs/tacmach.cmx \ - kernel/sign.cmx pretyping/recordops.cmx proofs/proof_trees.cmx \ + pretyping/recordops.cmx proofs/proof_trees.cmx \ contrib/xml/proof2aproof.cmx proofs/pfedit.cmx library/nametab.cmx \ kernel/names.cmx library/library.cmx library/libobject.cmx \ library/libnames.cmx library/lib.cmx parsing/lexer.cmx \ |