]> matita.cs.unibo.it Git - helm.git/blob - helm/xmltheory/XmlTheory/COME_COMPILARE
...
[helm.git] / helm / xmltheory / XmlTheory / COME_COMPILARE
1 # Settare
2
3 OPT=-byte      # Nota: questo andrebbe fatto nel Make, ma un bug di coq_makefile
4                # lo impedisce
5 COQTOP=...