matita.cs.unibo.it Git - helm.git/tree - helm/www/matita1.0/images/

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