]>
2004-07-01 | Stefano Zacchiroli | New handling of substitution: | blob | commitdiff | raw |
2004-04-23 | Enrico Tassi | Universes introduction | blob | commitdiff | raw | diff to current |
2004-02-17 | Claudio Sacerdoti... | - double_type_of: sort_of_prod modified to expect also... | blob | commitdiff | raw | diff to current |
2004-02-06 | Stefano Zacchiroli | added annotations to Cic.Implicit | blob | commitdiff | raw | diff to current |
2004-01-22 | Andrea Asperti | A few modifications, here and there... | blob | commitdiff | raw | diff to current |
2003-12-02 | Ferruccio Guidi | sort CProp added | blob | commitdiff | raw | diff to current |
2003-09-05 | Stefano Zacchiroli | Defs in context may now have an optional type (when... | blob | commitdiff | raw | diff to current |
2003-07-24 | Andrea Asperti | Complete beta reduction added to avoid strange case... | blob | commitdiff | raw | diff to current |
2003-07-20 | Claudio Sacerdoti... | cic_transformations factorized into cic_omdoc and cic_t... | blob | commitdiff | raw | diff to current |