matitaInit.mli \
matitaEngine.mli \
applyTransformation.mli \
+ matitaAutoGui.mli \
matitacLib.mli \
matitaprover.mli \
matitaGtkMisc.mli \
gragrep.mli \
$(NULL)
# objects for matita (GTK GUI)
-ML = buildTimeConf.ml matitaGeneratedGui.ml matitaAutoGui.ml $(MLI:%.mli=%.ml)
+ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml)
# objects for matitac (batch compiler)
CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
MAINCML = $(MAINCMLI:%.mli=%.ml)
$(H)rm -rf .matita
TEST_DIRS = \
- legacy \
library \
tests \
dama \
contribs/CoRN \
contribs/RELATIONAL \
+ contribs/LOGIC \
contribs/LAMBDA-TYPES \
contribs/PREDICATIVE-TOPOLOGY \
$(NULL)