projects / helm.git / history
| 2007-10-15 | Claudio Sacerdoti... | Stupid bug fixed (I deleted "assumption a" by error). | blob | commitdiff | raw |
| 2007-07-26 | Enrico Tassi | auto -> autobatch | blob | commitdiff | raw | diff to current |
| 2006-12-30 | Ferruccio Guidi | dependence to legacy/coq.ma fixed | blob | commitdiff | raw | diff to current |
| 2006-12-01 | Ferruccio Guidi | some uris fixed | blob | commitdiff | raw | diff to current |
| 2006-10-02 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
| 2006-09-29 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
| 2006-07-18 | Claudio Sacerdoti... | baseuri for group.ma fixed | blob | commitdiff | raw | diff to current |
| 2006-04-05 | Enrico Tassi | create directory paramodulation for tests for paramodul... | blob | commitdiff | raw | diff to current |