]> matita.cs.unibo.it Git - helm.git/blob - helm/xmltheory/XmlTheory/COME_COMPILARE
Files control.js graphLinks.js utils.js no longer in use.
[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=...