projects / helm.git / history
| 2005-06-15 | Claudio Sacerdoti... | Big commit and major code clean-up: | blob | commitdiff | raw |
| 2005-06-10 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
| 2005-06-09 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
| 2005-06-01 | Enrico Tassi | reduce with path | blob | commitdiff | raw | diff to current |
| 2005-06-01 | Enrico Tassi | some cosmetic fixes | blob | commitdiff | raw | diff to current |
| 2005-05-25 | Ferruccio Guidi | some work for Gares | blob | commitdiff | raw | diff to current |
| 2005-05-18 | Enrico Tassi | fixed some macros, added test_abort.ma | blob | commitdiff | raw | diff to current |
| 2005-05-16 | Enrico Tassi | added comments, fixed history, added loadList to browser | 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 |