]>
2009-04-01 | Enrico Tassi | added tentative elim | blob | commitdiff | raw |
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 |