]>
2012-11-25 | Ferruccio Guidi | some renaming to free the baseuri cic:/matita/lambda | commit | commitdiff |
2011-05-19 | Andrea Asperti | Dummies are blocked. | commit | commitdiff |
2011-04-20 | Andrea Asperti | progress | commit | commitdiff |
2011-03-23 | Andrea Asperti | red star | commit | commitdiff |
2011-03-21 | Andrea Asperti | sn_prod | commit | commitdiff |
2011-03-21 | Andrea Asperti | sn_lambda | commit | commitdiff |
2011-03-11 | Andrea Asperti | Improvements. | commit | commitdiff |
2011-03-07 | Andrea Asperti | sottotermini e confluenza (manca pr_substs). | commit | commitdiff |