]>
2011-11-24 | Ferruccio Guidi | - now destruct tries to clear the replaced variables... | tree | commitdiff |
2011-11-18 | Claudio Sacerdoti... | * Almost ready for release 0.99.1. | tree | commitdiff |
2010-10-26 | Andrea Asperti | urimanager removed | tree | commitdiff |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | tree | commitdiff |