projects / helm.git / history
| 2018-12-19 | Claudio Sacerdoti... | On-going porting to lablgtk3 | tree | commitdiff |
| 2018-09-13 | Ferruccio Guidi | dependences for ocaml version 4.05.0 | tree | commitdiff |
| 2018-01-05 | Ferruccio Guidi | updated depend files | tree | commitdiff |
| 2017-12-28 | Claudio Sacerdoti... | .depend{.opt} files changed | tree | commitdiff |
| 2015-09-05 | Ferruccio Guidi | - New attribute `Implied put beside `Generated and... | tree | commitdiff |
| 2014-12-01 | Ferruccio Guidi | dependences update | 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-18 | Claudio Sacerdoti... | * Almost ready for release 0.99.1. | tree | commitdiff |
| 2010-10-26 | Andrea Asperti | urimanager removed | tree | commitdiff |
| 2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | tree | commitdiff |