]>
2003-07-21 | Claudio Sacerdoti... | Interface change: only cobj2obj is exposed. | blob | commitdiff | raw |
2003-07-21 | Andrea Asperti | ** UNTESTED ** | blob | commitdiff | raw | diff to current |
2003-07-20 | Claudio Sacerdoti... | Reindenting. | blob | commitdiff | raw | diff to current |
2003-07-20 | Claudio Sacerdoti... | proof2cic now uses Deannotate.deannoate_term instead... | blob | commitdiff | raw | diff to current |
2003-07-20 | Claudio Sacerdoti... | Content2cic e Eta_fixing moved from gTopLevel to cic_omdoc. | blob | commitdiff | raw | diff to current |