projects / helm.git / history
| 2013-02-01 | Ferruccio Guidi | - ng_refiner: | tree | commitdiff |
| 2012-01-07 | Ferruccio Guidi | lambda_delta: global environments handling: redefined... | tree | commitdiff |
| 2011-11-24 | Ferruccio Guidi | - now destruct tries to clear the replaced variables... | tree | commitdiff |
| 2011-11-22 | Claudio Sacerdoti... | Changes to disambiguation: | tree | commitdiff |
| 2011-11-18 | Claudio Sacerdoti... | * Almost ready for release 0.99.1. | tree | commitdiff |
| 2010-11-18 | Andrea Asperti | - dead code removed | tree | commitdiff |
| 2010-10-26 | Andrea Asperti | urimanager removed | tree | commitdiff |
| 2010-10-08 | Andrea Asperti | cicNotation* ==> notation* | tree | commitdiff |
| 2010-09-30 | Enrico Tassi | sync with stable: | tree | commitdiff |
| 2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | tree | commitdiff |