]>
2006-06-09 | Stefano Zacchiroli | - added a real-life index page | commit | commitdiff |
2006-06-09 | Stefano Zacchiroli | scaled down | commit | commitdiff |
2006-06-09 | Stefano Zacchiroli | scaled down | commit | commitdiff |
2006-06-09 | Stefano Zacchiroli | added small version of the matita logo | commit | commitdiff |