projects / helm.git / history
| 2007-05-28 | Enrico Tassi | local modifications | tree | commitdiff |
| 2006-07-14 | Stefano Zacchiroli | snapshot | tree | commitdiff |
| 2006-06-10 | Stefano Zacchiroli | tiny version of the logo | tree | commitdiff |
| 2006-06-10 | Stefano Zacchiroli | added screenshots describing matita features | tree | commitdiff |
| 2006-06-09 | Stefano Zacchiroli | - added a real-life index page | tree | commitdiff |
| 2006-06-09 | Stefano Zacchiroli | scaled down | tree | commitdiff |
| 2006-06-09 | Stefano Zacchiroli | scaled down | tree | commitdiff |
| 2006-06-09 | Stefano Zacchiroli | added small version of the matita logo | tree | commitdiff |
| 2006-06-09 | Stefano Zacchiroli | moved matita-bugs.ong -> matita-medium.png | tree | commitdiff |
| 2006-06-09 | Stefano Zacchiroli | added css and image for bugzilla | tree | commitdiff |
| 2006-02-03 | Enrico Tassi | added bg | tree | commitdiff |
| 2006-02-02 | Stefano Zacchiroli | - moved images in images/ | tree | commitdiff |
| 2006-02-02 | Stefano Zacchiroli | added images and links for validation | tree | commitdiff |