projects / helm.git / history
| 2006-02-03 | Stefano Zacchiroli | release snapshot | blob | commitdiff | raw |
| 2005-06-16 | Claudio Sacerdoti... | removed again (I added it by error :-( | blob | commitdiff | raw |
| 2005-06-15 | Claudio Sacerdoti... | Big commit and major code clean-up: | blob | commitdiff | raw | diff to current |
| 2005-06-13 | Enrico Tassi | fix | blob | commitdiff | raw |
| 2005-06-06 | Stefano Zacchiroli | - set monospace buffer using modify_font widget method | 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-05-02 | Enrico Tassi | added Match (partially) and sync with the count table | 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 |