]>
2009-04-02 | Enrico Tassi | New file nTacStatus to: | blob | commitdiff | raw |
2009-04-01 | Claudio Sacerdoti... | New tactic "case1_tac" that make "intro" followed by... | blob | commitdiff | raw | diff to current |
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-27 | Enrico Tassi | exec and distribute implemented | blob | commitdiff | raw | diff to current |
2009-03-25 | Enrico Tassi | new tactics are almost ready | blob | commitdiff | raw | diff to current |