]>
2005-07-01 | Enrico Tassi | may fix the nigtly build | blob | commitdiff | raw |
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 |