applyTransformation.mli \
matitacLib.mli \
matitaInit.mli \
- matitaAutoGui.mli \
matitaGtkMisc.mli \
+ matitaAutoGui.mli \
matitaScript.mli \
matitaMathView.mli \
matitaGui.mli \
# library_auto
TEST_DIRS_OPT = \
$(TEST_DIRS) \
- contribs/LAMBDA-TYPES \
$(NULL)
+ #contribs/LAMBDA-TYPES \
.PHONY: tests tests.opt cleantests cleantests.opt
tests: $(foreach d,$(TEST_DIRS),$(d)-test)