diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-01-30 09:42:31 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-01-30 09:42:31 +0000 |
| commit | 55876f75710bf989ef8ba6473c4d64c866f9cf73 (patch) | |
| tree | 4945e8f9b76c82d59683466079d5571608fb99a4 | |
| parent | 300dd33e3d35fbab6fbeadb8e4450cc41c5a6276 (diff) | |
pas de Xml.vo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3626 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -666,7 +666,7 @@ RINGVO = contrib/ring/ArithRing.vo contrib/ring/Ring_normalize.vo \ FIELDVO = contrib/field/Field_Compl.vo contrib/field/Field_Theory.vo \ contrib/field/Field_Tactic.vo contrib/field/Field.vo -XMLVO = Xml.vo +XMLVO = INTERFACEV0 = contrib/interface/Centaur.vo |