projects / helm.git / history
| 2023-01-02 | Claudio Sacerdoti... | Use of standard OCaml syntax | blob | commitdiff | raw |
| 2015-02-04 | Ferruccio Guidi | - matitac: now directories are allowed as command line... | blob | commitdiff | raw | diff to current |
| 2011-03-23 | Claudio Sacerdoti... | More verbose in case of errors. | blob | commitdiff | raw | diff to current |
| 2010-12-16 | Andrea Asperti | Some bugs fixed (and some still open) in recursive... | blob | commitdiff | raw | diff to current |
| 2010-11-05 | Andrea Asperti | Huge change!!! | blob | commitdiff | raw | diff to current |
| 2010-11-05 | Andrea Asperti | - matitacLib merged into matitaEngine | blob | commitdiff | raw | diff to current |
| 2010-10-05 | Andrea Asperti | - matitaWiki removed | blob | commitdiff | raw | diff to current |
| 2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | blob | commitdiff | raw | diff to current |