]>
-rw-r--r-- | 725 | advance.png | blob | raw |
-rw-r--r-- | 778 | bottom.png | blob | raw |
-rw-r--r-- | 1733 | matita-32.xpm | blob | raw |
-rw-r--r-- | 1149 | matita-bulb-high.png | blob | raw |
-rw-r--r-- | 1072 | matita-bulb-low.png | blob | raw |
-rw-r--r-- | 1272 | matita-bulb-medium.png | blob | raw |
-rw-r--r-- | 706 | matita-folder.png | blob | raw |
-rw-r--r-- | 893 | matita-object.png | blob | raw |
-rw-r--r-- | 3061 | matita-text.png | blob | raw |
-rw-r--r-- | 1287 | matita-theory.png | blob | raw |
-rw-r--r-- | 17605 | matita.png | blob | raw |
-rw-r--r-- | 12270 | matita_medium.png | blob | raw |
-rw-r--r-- | 4786 | matita_small.png | blob | raw |
-rw-r--r-- | 3650 | matita_very_small.png | blob | raw |
-rw-r--r-- | 157131 | meegg.png | blob | raw |
-rw-r--r-- | 675 | position.png | blob | raw |
-rw-r--r-- | 868 | retract.png | blob | raw |
-rw-r--r-- | 1073 | whelp.png | blob | raw |
-rw-r--r-- | 11017 | whelp.svg | blob | raw |