# This coq_vo2xml must be put in PATH before the real coq_vo2xml.
# It's aim is to run coq_v2theoryxml instead of coq_vo2xml
# Remember to set $XML_THEORY_LIBRARY_ROOT before starting this coq_vo2xml