]>
2004-10-13 | Stefano Zacchiroli | added term argument to absurd | blob | commitdiff | raw |
2004-10-04 | Stefano Zacchiroli | added Undo/Redo commands | blob | commitdiff | raw | diff to current |
2004-04-30 | Stefano Zacchiroli | added Abort and Check commands | blob | commitdiff | raw | diff to current |
2004-04-30 | Stefano Zacchiroli | embedded commands ast into tacticals ast | blob | commitdiff | raw | diff to current |
2004-02-26 | Stefano Zacchiroli | added command and script ASTs with _debugging_only_... | blob | commitdiff | raw | diff to current |
2004-02-17 | Stefano Zacchiroli | added tactics and tacticals (heavily bugged) | blob | commitdiff | raw | diff to current |