projects / helm.git / history
| 2007-04-02 | Ferruccio Guidi | Cic2acic : added some debugging information | blob | commitdiff | raw |
| 2007-03-30 | Ferruccio Guidi | Optimizer: refactored according to its formal description | blob | commitdiff | raw | diff to current |
| 2007-03-16 | Ferruccio Guidi | elim tactic: it needs two arguments, a term as well... | blob | commitdiff | raw | diff to current |
| 2007-03-11 | Ferruccio Guidi | case to elim conversion works fine | blob | commitdiff | raw | diff to current |
| 2007-03-09 | Ferruccio Guidi | Procedural: 2 bug fix in eta expansion + 1 bug fix... | blob | commitdiff | raw | diff to current |
| 2007-03-08 | Ferruccio Guidi | some improvements | blob | commitdiff | raw | diff to current |
| 2007-03-07 | Ferruccio Guidi | Procedural: bug fix | blob | commitdiff | raw | diff to current |
| 2007-03-07 | Ferruccio Guidi | Relational: one file was missing :-) | blob | commitdiff | raw | diff to current |