]>
2005-06-27 | Claudio Sacerdoti... | A few other tactics made available to matita. | blob | commitdiff | raw |
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 |