matita.cs.unibo.it Git - helm.git/tree - helm/papers/matita/pics/

drwxr-xr-x		..
-rw-r--r--	99617	cicbrowser-screenshot-browsing.eps	blob \| history \| raw
-rw-r--r--	28557	cicbrowser-screenshot-browsing.png	blob \| history \| raw
-rw-r--r--	167480	cicbrowser-screenshot-con.eps	blob \| history \| raw
-rw-r--r--	47614	cicbrowser-screenshot-con.png	blob \| history \| raw
-rw-r--r--	109800	cicbrowser-screenshot-query.eps	blob \| history \| raw
-rw-r--r--	29699	cicbrowser-screenshot-query.png	blob \| history \| raw
-rw-r--r--	3787	libraries-clusters.dot	blob \| history \| raw
-rw-r--r--	87659	libraries-clusters.png	blob \| history \| raw
-rw-r--r--	31870	libraries-clusters.ps	blob \| history \| raw
-rw-r--r--	57060	matita-screenshot-href.eps	blob \| history \| raw
-rw-r--r--	11253	matita-screenshot-href.png	blob \| history \| raw
-rw-r--r--	51917	matita-screenshot-selection.eps	blob \| history \| raw
-rw-r--r--	12966	matita-screenshot-selection.png	blob \| history \| raw
-rw-r--r--	618135	matita-screenshot.eps	blob \| history \| raw
-rw-r--r--	184597	matita-screenshot.png	blob \| history \| raw