]>
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 |