]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library_auto/makefile
makefile reworked to make debian package possible
[helm.git] / helm / software / matita / library_auto / makefile
2007-05-20 Ferruccio GuidiapplyTransformation: added debugging information
2007-04-20 Enrico Tassiadded library_auto/ to tests.