matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts/profile

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts/profile_cvs.sh

2005-07-06	Claudio Sacerdoti...	Shell variables are all global! Fixed a bug that preven...	blob \| commitdiff \| raw
2005-07-05	Claudio Sacerdoti...	Ported to separate compilation and the new getter imple...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	may fix the nigtly build	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	more makefile work	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	now maketests uses matitaclean (but not in the right...	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	minor fixes	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	shanpshot	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	nigth-bench snapshot	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	matita.conf.xml.sample now has a @@OWNER@@ so that...	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	added a getter maps updater	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	first snapshot of the night-profiling	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.