]> matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts/do_tests.sh
packaging cleanup: get rid of ancient debhelpers, use dh_install
[helm.git] / helm / matita / scripts / do_tests.sh
2005-07-19 Claudio Sacerdoti... Used to left temporary file if something failed.
2005-07-19 Claudio Sacerdoti... do_tests.sh now returns with an error if one of the...
2005-07-01 Enrico Tassimore makefile work
2005-07-01 Claudio Sacerdoti... New argument: the cleaner.
2005-07-01 Enrico Tassinow maketests uses matitaclean (but not in the right...
2005-06-27 Claudio Sacerdoti... Nicer output for the "make tests*" commands.
2005-06-27 Enrico Tassiminor fixes
2005-06-24 Enrico Tassiadded a getter maps updater
2005-06-24 Enrico Tassifirst snapshot of the night-profiling