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