]>
2009-04-01 | Claudio Sacerdoti... | New tactic "case1_tac" that make "intro" followed by... | blob | commitdiff | raw |
2009-04-01 | Claudio Sacerdoti... | New tactic intro. Syntax: "# n". | blob | commitdiff | raw | diff to current |
2009-04-01 | Enrico Tassi | added tentative elim | blob | commitdiff | raw | diff to current |
2009-04-01 | Enrico Tassi | 1) mk_meta now returns also the index of the created... | blob | commitdiff | raw | diff to current |
2009-03-30 | Enrico Tassi | tentative subst-sexpand and change | blob | commitdiff | raw | diff to current |
2009-03-30 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2009-03-27 | Enrico Tassi | more comments | blob | commitdiff | raw | diff to current |
2009-03-27 | Enrico Tassi | exec and distribute implemented | blob | commitdiff | raw | diff to current |
2009-03-26 | Enrico Tassi | new apply almost there | blob | commitdiff | raw | diff to current |
2009-03-25 | Enrico Tassi | new tactics are almost ready | blob | commitdiff | raw | diff to current |