projects / helm.git / history
| 2008-11-27 | Enrico Tassi | 1. grafiteDisambiguator => multiPassDisambiguator | blob | commitdiff | raw |
| 2008-08-28 | Ferruccio Guidi | cicDischarge: new module for discharging the explicit... | blob | commitdiff | raw | diff to current |
| 2007-11-06 | Ferruccio Guidi | new implementation of the destruct tactic, | blob | commitdiff | raw | diff to current |
| 2007-10-26 | Enrico Tassi | rebuilt | blob | commitdiff | raw | diff to current |
| 2007-06-01 | Enrico Tassi | new compose tactic, still undocumented. | blob | commitdiff | raw | diff to current |
| 2007-05-24 | Enrico Tassi | auto and autogui... some work | blob | commitdiff | raw | diff to current |
| 2007-04-26 | Ferruccio Guidi | bug fix in subst tactic | blob | commitdiff | raw | diff to current |
| 2007-04-16 | Ferruccio Guidi | subst tactic put in a file on its own | blob | commitdiff | raw | diff to current |
| 2006-12-29 | Ferruccio Guidi | now we try two distinct depend files for compilation... | blob | commitdiff | raw | diff to current |