]>
2004-10-22 | Stefano Zacchiroli | added Hint "tactic" | blob | commitdiff | raw |
2004-10-13 | Stefano Zacchiroli | pretty printed Absurd's term | blob | commitdiff | raw | diff to current |
2004-10-04 | Stefano Zacchiroli | added Undo/Redo commands | blob | commitdiff | raw | diff to current |
2004-05-04 | Stefano Zacchiroli | removed traliling dot in command pretty printer, now... | 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-23 | Stefano Zacchiroli | added a space between term and "using" keyword | blob | commitdiff | raw | diff to current |
2004-02-18 | Stefano Zacchiroli | fixed cosmetic typos during pretty printing | blob | commitdiff | raw | diff to current |
2004-02-17 | Stefano Zacchiroli | added tactics and tacticals (heavily bugged) | blob | commitdiff | raw | diff to current |