projects / helm.git / history
| 2006-07-11 | maiorino | First experimental version of the declarative proof... | blob | commitdiff | raw |
| 2006-06-29 | Claudio Sacerdoti... | Demodulate used to be a reduction_kind and it used... | blob | commitdiff | raw | diff to current |
| 2006-06-28 | Ferruccio Guidi | - "linear" flag added to lapply (automatic clearing) | blob | commitdiff | raw | diff to current |
| 2006-06-27 | Ferruccio Guidi | - decompose now runs with no arguments (operates on... | blob | commitdiff | raw | diff to current |
| 2006-06-21 | Enrico Tassi | added the geniric | blob | commitdiff | raw | diff to current |
| 2006-06-15 | Andrea Asperti | Apply-Silvie tactic added! | blob | commitdiff | raw | diff to current |
| 2006-06-01 | Stefano Zacchiroli | implemented tinycals: | blob | commitdiff | raw | diff to current |
| 2006-02-08 | Claudio Sacerdoti... | Never implemented tactics compare and decide equality... | blob | commitdiff | raw | diff to current |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |