matitaInit.mli \
matitaGtkMisc.mli \
matitaAutoGui.mli \
- matitaScript.mli \
virtuals.mli \
+ matitaScript.mli \
predefined_virtuals.mli \
matitaMathView.mli \
matitaGui.mli \
# library_auto
TEST_DIRS_OPT = \
$(TEST_DIRS) \
- # contribs/LAMBDA-TYPES \
+ contribs/LAMBDA-TYPES \
$(NULL)
.PHONY: tests tests.opt cleantests cleantests.opt