projects / helm.git / history
| 2005-07-25 | Claudio Sacerdoti... | - MatitaLog output redirected to stderr for every messa... | blob | commitdiff | raw |
| 2005-07-13 | Enrico Tassi | matitamake stuff: | blob | commitdiff | raw | diff to current |
| 2005-06-01 | Enrico Tassi | some cosmetic fixes | blob | commitdiff | raw | diff to current |
| 2005-05-31 | Andrea Asperti | added colors | blob | commitdiff | raw | diff to current |
| 2005-04-27 | Stefano Zacchiroli | checked in new version of matita from svn | blob | commitdiff | raw | diff to current |