]> matita.cs.unibo.it Git - helm.git/tree - helm/papers/matita/pics/
- added some cicbrowser screenshot (to be better placed in the text body)
[helm.git] / helm / papers / matita / pics /
drwxr-xr-x   ..
-rw-r--r-- 144988 cicbrowser-screenshot-browsing.eps
-rw-r--r-- 41726 cicbrowser-screenshot-browsing.png
-rw-r--r-- 159549 cicbrowser-screenshot-con.eps
-rw-r--r-- 47054 cicbrowser-screenshot-con.png
-rw-r--r-- 85870 cicbrowser-screenshot-query.eps
-rw-r--r-- 18508 cicbrowser-screenshot-query.png
-rw-r--r-- 3787 libraries-clusters.dot
-rw-r--r-- 87659 libraries-clusters.png
-rw-r--r-- 31870 libraries-clusters.ps
-rw-r--r-- 57060 matita-screenshot-href.eps
-rw-r--r-- 11253 matita-screenshot-href.png
-rw-r--r-- 51917 matita-screenshot-selection.eps
-rw-r--r-- 12966 matita-screenshot-selection.png
-rw-r--r-- 613614 matita-screenshot.eps
-rw-r--r-- 157905 matita-screenshot.png