diff options
| author | filliatr | 2004-03-31 23:02:23 +0000 |
|---|---|---|
| committer | filliatr | 2004-03-31 23:02:23 +0000 |
| commit | 705a98f7f82594d87ef596cba2018a4eebd31228 (patch) | |
| tree | d5e3e5486fcb890d70ed2094918ba8b437bf3a7f | |
| parent | c0bf634783cbb1f7cf2943b56d5f2e798fbed4af (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5625 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -3237,13 +3237,11 @@ contrib/xml/xmlcommand.cmx: contrib/xml/acic.cmx contrib/xml/acic2Xml.cmx \ proofs/tacmach.cmx kernel/term.cmx contrib/xml/unshare.cmx lib/util.cmx \ toplevel/vernac.cmx contrib/xml/xml.cmx contrib/xml/xmlcommand.cmi contrib/xml/xmlentries.cmo: toplevel/cerrors.cmi parsing/egrammar.cmi \ - parsing/extend.cmi interp/genarg.cmi library/nametab.cmi parsing/pcoq.cmi \ - lib/pp.cmi lib/util.cmi toplevel/vernacinterp.cmi \ - contrib/xml/xmlcommand.cmi + parsing/extend.cmi interp/genarg.cmi parsing/pcoq.cmi lib/pp.cmi \ + lib/util.cmi toplevel/vernacinterp.cmi contrib/xml/xmlcommand.cmi contrib/xml/xmlentries.cmx: toplevel/cerrors.cmx parsing/egrammar.cmx \ - parsing/extend.cmx interp/genarg.cmx library/nametab.cmx parsing/pcoq.cmx \ - lib/pp.cmx lib/util.cmx toplevel/vernacinterp.cmx \ - contrib/xml/xmlcommand.cmx + parsing/extend.cmx interp/genarg.cmx parsing/pcoq.cmx lib/pp.cmx \ + lib/util.cmx toplevel/vernacinterp.cmx contrib/xml/xmlcommand.cmx ide/utils/configwin.cmo: ide/utils/configwin_ihm.cmo \ ide/utils/configwin_types.cmo ide/utils/configwin.cmi ide/utils/configwin.cmx: ide/utils/configwin_ihm.cmx \ |