]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/Makefile
legacy \
library \
tests \
legacy \
library \
tests \
+ contribs/dama/dama \
+ contribs/assembly \
contribs/CoRN \
contribs/RELATIONAL \
contribs/LOGIC \
contribs/CoRN \
contribs/RELATIONAL \
contribs/LOGIC \