]> matita.cs.unibo.it Git - helm.git/tree - matita/icons/
Debugging code commented out.
[helm.git] / matita / icons /
drwxr-xr-x   ..
-rw-r--r-- 1149 matita-bulb-high.png
-rw-r--r-- 1072 matita-bulb-low.png
-rw-r--r-- 1272 matita-bulb-medium.png
-rw-r--r-- 706 matita-folder.png
-rw-r--r-- 893 matita-object.png
-rw-r--r-- 1287 matita-theory.png
-rw-r--r-- 17605 matita.png
-rw-r--r-- 12270 matita_medium.png
-rw-r--r-- 4786 matita_small.png
-rw-r--r-- 3650 matita_very_small.png
-rw-r--r-- 157131 meegg.png
-rw-r--r-- 1073 whelp.png
-rw-r--r-- 11017 whelp.svg