]>
2006-10-26 | Claudio Sacerdoti... | More timeout added to autos here and there. | blob | commitdiff | raw |
2006-10-12 | acciavat | auto => auto new. | blob | commitdiff | raw | diff to current |
2006-10-12 | acciavat | Manual porting of CoRN to Matita. | blob | commitdiff | raw | diff to current |