projects / helm.git / history
| 2005-06-10 | Claudio Sacerdoti... | Got rid of a few warnings. | blob | commitdiff | raw |
| 2005-05-30 | Andrea Asperti | added intros n | blob | commitdiff | raw | diff to current |
| 2005-05-24 | Enrico Tassi | added lost elim_intros_tac | blob | commitdiff | raw | diff to current |
| 2005-05-13 | Alberto Griggio | exported new_metasenv_for_apply, needed by the paramodu... | blob | commitdiff | raw | diff to current |
| 2004-11-05 | Stefano Zacchiroli | - added Tactics module as a common point where tactics... | blob | commitdiff | raw | diff to current |
| 2004-10-22 | Andrea Asperti | - added (hack) apply_tac_verbose (for auto) | blob | commitdiff | raw | diff to current |
| 2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |