]>
2009-04-16 | Claudio Sacerdoti... | test/a.ma => tests/ng_tactics.ma, with nassert here... | blob | commitdiff | raw |
2009-04-09 | Enrico Tassi | ... | 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... | ... | blob | commitdiff | raw | diff to current |
2009-03-26 | Enrico Tassi | new apply almost there | blob | commitdiff | raw | diff to current |