]> matita.cs.unibo.it Git - helm.git/tree - matitaB/matita/html/icons/
mod change (-x)
[helm.git] / matitaB / matita / html / icons /
drwxr-xr-x   ..
-rw-r--r-- 989 add.png
-rw-r--r-- 725 advance.png
-rw-r--r-- 778 bottom.png
-rw-r--r-- 1123 check.png
-rw-r--r-- 1151 delete.png
-rw-r--r-- 3062 error.png
-rw-r--r-- 985 folder.png
-rw-r--r-- 651 matita-32.png
-rw-r--r-- 1733 matita-32.xpm
-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-- 3061 matita-text.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-- 675 position.png
-rw-r--r-- 1154 questionmark.png
-rw-r--r-- 1235 refresh.png
-rw-r--r-- 868 retract.png
-rw-r--r-- 1051 save.png
-rw-r--r-- 904 saveas.png
-rw-r--r-- 467 tick.png
-rw-r--r-- 2608 top.jpg
-rw-r--r-- 6501 top.png
-rw-r--r-- 1087 upload.png
-rw-r--r-- 1073 whelp.png
-rw-r--r-- 11017 whelp.svg