projects / helm.git / history
| 2005-06-29 | Enrico Tassi | catches more errors | tree | commitdiff |
| 2005-06-28 | Stefano Zacchiroli | bugfix: 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 Tassi | more detailed but less verbose and annoying report | tree | commitdiff |
| 2005-06-27 | Enrico Tassi | minor fixes | tree | commitdiff |
| 2005-06-26 | Enrico Tassi | the web interface for the benchmarking system | tree | commitdiff |
| 2005-06-24 | Enrico Tassi | fix | tree | commitdiff |
| 2005-06-24 | Enrico Tassi | fix | tree | commitdiff |
| 2005-06-24 | Enrico Tassi | snapshot | tree | commitdiff |
| 2005-06-24 | Enrico Tassi | shanpshot | tree | commitdiff |
| 2005-06-24 | Enrico Tassi | nigth-bench snapshot | tree | commitdiff |
| 2005-06-24 | Enrico Tassi | matita.conf.xml.sample now has a @@OWNER@@ so that... | tree | commitdiff |
| 2005-06-24 | Enrico Tassi | added a getter maps updater | tree | commitdiff |
| 2005-06-24 | Enrico Tassi | first snapshot of the night-profiling | tree | commitdiff |