matitaGeneratedGui.cmo \
matitaMathView.cmo \
matitaGui.cmo \
+ matitaAutoGui.cmo \
$(NULL)
# objects for matitac (batch compiler)
CCMOS = \
contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
-# library_auto \
+# library_auto
TEST_DIRS_OPT = \
- $(TEST_DIRS) \
+ $(TEST_DIRS) \
$(NULL)
.PHONY: tests tests.opt cleantests cleantests.opt