projects / helm.git / history
| 2007-10-15 | Claudio Sacerdoti... | auto => autobatch | blob | commitdiff | raw |
| 2006-12-30 | Ferruccio Guidi | dependence to legacy/coq.ma fixed | blob | commitdiff | raw | diff to current |
| 2006-10-02 | Enrico Tassi | added missing *) | blob | commitdiff | raw | diff to current |
| 2006-09-26 | Claudio Sacerdoti... | Two tests used to have the same baseuri. Very bad. | blob | commitdiff | raw | diff to current |
| 2006-03-28 | Enrico Tassi | more profiling and fixes for paramod | blob | commitdiff | raw | diff to current |
| 2006-03-21 | Enrico Tassi | done | blob | commitdiff | raw | diff to current |
| 2006-03-20 | Andrea Asperti | Renamed SK.ma into bool.ma | blob | commitdiff | raw | diff to current |