]> matita.cs.unibo.it Git - helm.git/tree - helm/www/matita/images/
rebuilt
[helm.git] / helm / www / matita / images /
drwxr-xr-x   ..
-rw-r--r-- 4564 MINI_screenshot-cicbrowser-browsing.png
-rw-r--r-- 10328 MINI_screenshot-cicbrowser-proof.png
-rw-r--r-- 6206 MINI_screenshot-cicbrowser-query.png
-rw-r--r-- 3661 MINI_screenshot-matita-href.png
-rw-r--r-- 5212 MINI_screenshot-matita-selection.png
-rw-r--r-- 10733 MINI_screenshot-matita.png
-rw-r--r-- 7677 MINI_screenshot-tinycals.png
-rw-r--r-- 93 README.minis
-rw-r--r-- 394 bg.png
-rw-r--r-- 10810 bg0.png
-rw-r--r-- 12187 bg1.png
-rw-r--r-- 10809 bg2.png
-rw-r--r-- 11354 bg3.png
-rw-r--r-- 834 folder-apache.png
-rw-r--r-- 3505 matita-library.png
-rw-r--r-- 10238 matita-medium.png
-rw-r--r-- 4182 matita-small.png
-rw-r--r-- 4733 matita-text-big.png
-rw-r--r-- 2176 matita-tiny.png
-rw-r--r-- 15477 matita-w-text-big.png
-rw-r--r-- 5341 matita-w-text-small.png
-rw-r--r-- 34979 matita.png
-rw-r--r-- 120842 matita.xcf
-rw-r--r-- 590 matitina-apache.png
-rw-r--r-- 3602 matitina-apache.svg
-rw-r--r-- 3481 matitina.svg
-rw-r--r-- 28557 screenshot-cicbrowser-browsing.png
-rw-r--r-- 47614 screenshot-cicbrowser-proof.png
-rw-r--r-- 29699 screenshot-cicbrowser-query.png
-rw-r--r-- 11253 screenshot-matita-href.png
-rw-r--r-- 12966 screenshot-matita-selection.png
-rw-r--r-- 184597 screenshot-matita.png
-rw-r--r-- 57826 screenshot-tinycals.png
-rw-r--r-- 358 sheetbg.png
-rw-r--r-- 1134 valid-css.png
-rw-r--r-- 2414 valid-xhtml10.png