]>
2005-10-25 | Stefano Zacchiroli | new tacticals | blob | commitdiff | raw |
2005-07-06 | Claudio Sacerdoti... | 1. tactical "try_tacticals" renamed to "first" | blob | commitdiff | raw | diff to current |
2005-06-27 | Claudio Sacerdoti... | A few other tactics made available to matita. | blob | commitdiff | raw | diff to current |
2005-04-27 | Stefano Zacchiroli | merged changes from the svn fork by me and Enrico | blob | commitdiff | raw | diff to current |
2004-06-18 | Claudio Sacerdoti... | Comments changed. | blob | commitdiff | raw | diff to current |
2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |