]> matita.cs.unibo.it Git - helm.git/commit
- recreated cicbrowser related screenshots
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jan 2006 13:25:40 +0000 (13:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jan 2006 13:25:40 +0000 (13:25 +0000)
commiteacd3705822310081dca775a47cdb7f323ea9513
tree997eac58c65214ca91069f4563d68847e0c94612
parent80eefd160882cc1b968fb41d5f04b278f5dc7f4b
- recreated cicbrowser related screenshots
- minor corrections (mainly TeX macros) in the indexing part
- described cicBrowser in the library part, moved there screenshots, ...
helm/papers/matita/matita2.tex
helm/papers/matita/pics/cicbrowser-screenshot-browsing.eps
helm/papers/matita/pics/cicbrowser-screenshot-browsing.png
helm/papers/matita/pics/cicbrowser-screenshot-con.eps
helm/papers/matita/pics/cicbrowser-screenshot-con.png
helm/papers/matita/pics/cicbrowser-screenshot-query.eps
helm/papers/matita/pics/cicbrowser-screenshot-query.png