]> matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
alias declarations are now put in the .moo file.
[helm.git] / helm / matita / scripts /
2005-07-01 Enrico Tassimay fix the nigtly build tree | commitdiff
2005-07-01 Enrico Tassimore makefile work tree | commitdiff
2005-07-01 Claudio Sacerdoti... New argument: the cleaner. tree | commitdiff
2005-07-01 Enrico Tassinow maketests uses matitaclean (but not in the right... tree | commitdiff
2005-07-01 Enrico Tassiin case of performace improvement there is no performac... tree | commitdiff
2005-06-29 Enrico Tassicatches more errors tree | commitdiff
2005-06-28 Stefano Zacchirolibugfix: uses awk instead of cut for splitting query... tree | commitdiff
2005-06-27 Claudio Sacerdoti... Nicer output for the "make tests*" commands. tree | commitdiff
2005-06-27 Enrico Tassimore detailed but less verbose and annoying report tree | commitdiff
2005-06-27 Enrico Tassiminor fixes tree | commitdiff
2005-06-26 Enrico Tassithe web interface for the benchmarking system tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassisnapshot tree | commitdiff
2005-06-24 Enrico Tassishanpshot tree | commitdiff
2005-06-24 Enrico Tassinigth-bench snapshot tree | commitdiff
2005-06-24 Enrico Tassimatita.conf.xml.sample now has a @@OWNER@@ so that... tree | commitdiff
2005-06-24 Enrico Tassiadded a getter maps updater tree | commitdiff
2005-06-24 Enrico Tassifirst snapshot of the night-profiling tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.