projects / helm.git / tree
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 1149 | matita-bulb-high.png | blob | history | raw |
| -rw-r--r-- | 1072 | matita-bulb-low.png | blob | history | raw |
| -rw-r--r-- | 1272 | matita-bulb-medium.png | blob | history | raw |
| -rw-r--r-- | 706 | matita-folder.png | blob | history | raw |
| -rw-r--r-- | 893 | matita-object.png | blob | history | raw |
| -rw-r--r-- | 1287 | matita-theory.png | blob | history | raw |
| -rw-r--r-- | 17605 | matita.png | blob | history | raw |
| -rw-r--r-- | 12270 | matita_medium.png | blob | history | raw |
| -rw-r--r-- | 4786 | matita_small.png | blob | history | raw |
| -rw-r--r-- | 3650 | matita_very_small.png | blob | history | raw |
| -rw-r--r-- | 157131 | meegg.png | blob | history | raw |
| -rw-r--r-- | 1073 | whelp.png | blob | history | raw |
| -rw-r--r-- | 11017 | whelp.svg | blob | history | raw |
