projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 15 Sep 2005 09:15:29 +0000 (09:15 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 15 Sep 2005 09:15:29 +0000 (09:15 +0000) | ||
| commit | 5215754e8ad1c83991135e94ad1e7ab63818d1cb | |
| tree | 8d5f96c96b921bc59de2ca462f41a2d9752b052c | tree | snapshot |
| parent | 7730ab45cb810e7ea0dfa804321b339c822ee87a | commit | diff |
| helm/matita/icons/matita.png | [new file with mode: 0644] | blob |
| helm/matita/icons/matita_medium.png | [new file with mode: 0644] | blob |
| helm/matita/icons/matita_small.png | [new file with mode: 0644] | blob |
| helm/matita/icons/meegg.png | [new file with mode: 0644] | blob |
| helm/matita/logo/matita.png | [deleted file] | blob | history |
| helm/matita/logo/matita_medium.png | [deleted file] | blob | history |
| helm/matita/logo/matita_small.png | [deleted file] | blob | history |
| helm/matita/matita.glade | diff | blob | history | |
| helm/matita/matitaGui.ml | diff | blob | history | |
| helm/matita/matitaMathView.ml | diff | blob | history |
