]>
2007-08-30 | Claudio Sacerdoti... | Coercions are now generalized to the general form | blob | commitdiff | raw |
2007-06-01 | Enrico Tassi | removed some refinement_toolkit | blob | commitdiff | raw | diff to current |
2007-06-01 | Enrico Tassi | new compose tactic, still undocumented. | blob | commitdiff | raw | diff to current |