projects / helm.git / history
| 2007-11-07 | Ferruccio Guidi | - bug fix in destruct | blob | commitdiff | raw |
| 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-09-25 | Claudio Sacerdoti... | injection_tac and discriminate_tac now replaced by... | blob | commitdiff | raw | diff to current |
| 2006-09-20 | Claudio Sacerdoti... | Injection now clears all intermediate results introduced. | blob | commitdiff | raw | diff to current |
| 2006-09-14 | Claudio Sacerdoti... | 1. Stricter controls implemented in injection. | blob | commitdiff | raw | diff to current |
| 2006-09-14 | Claudio Sacerdoti... | 1. added a test for injection | blob | commitdiff | raw | diff to current |