]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/tests/tinycals.ma
added config.ac to the tarball for debian packages
[helm.git] / helm / software / matita / tests / tinycals.ma
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2006-12-01 Ferruccio Guidisome uris fixed
2006-07-26 Stefano Zacchiroliadded test for reordering of goals when using the 1...
2006-07-10 Enrico Tassi- cheanges for the new coercion stuff (including the...
2006-07-06 Enrico Tassi...