projects / helm.git / history
| 2003-07-25 | Claudio Sacerdoti... | Lemma generated wrong URIs (again). Fixed. | blob | commitdiff | raw |
| 2003-07-23 | Andrea Asperti | - Lemma added to the list of proof arguments | blob | commitdiff | raw | diff to current |
| 2003-07-21 | Andrea Asperti | The Aux argument of conclude is now of type string... | blob | commitdiff | raw | diff to current |
| 2003-07-21 | Claudio Sacerdoti... | Interface change: only cobj2obj is exposed. | blob | commitdiff | raw | diff to current |
| 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 |