]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/Makefile
TEST_DIRS = \
library \
tests \
TEST_DIRS = \
library \
tests \
contribs/CoRN \
contribs/RELATIONAL \
contribs/LAMBDA-TYPES \
contribs/CoRN \
contribs/RELATIONAL \
contribs/LAMBDA-TYPES \