[helm.git] / helm / xmltheory / XmlTheory / COME_COMPILARE

# Settare

OPT=-byte      # Nota: questo andrebbe fatto nel Make, ma un bug di coq_makefile
               # lo impedisce
COQTOP=...