]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c51860b) | patch
- added some cicbrowser screenshot (to be better placed in the text body)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Jan 2006 08:33:08 +0000 (08:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Jan 2006 08:33:08 +0000 (08:33 +0000)
commitb6f12c7851b23c4793a9fe279c4439b84c817b23
tree5cef7ce9a4fbd353f670ec5e717c2670c6453960tree | snapshot
parentc51860b3abc51c2309059bb1ee3eb1fe19198656commit | diff
- added some cicbrowser screenshot (to be better placed in the text body)
- added list of tables (and thus ignored .lot files)
- moved graphic files in the pics/ subdir
25 files changed:
helm/papers/matita/libraries-clusters.dot [deleted file] blob | history
helm/papers/matita/libraries-clusters.png [deleted file] blob | history
helm/papers/matita/libraries-clusters.ps [deleted file] blob | history
helm/papers/matita/matita-screenshot-href.eps [deleted file] blob | history
helm/papers/matita/matita-screenshot-href.png [deleted file] blob | history
helm/papers/matita/matita-screenshot-selection.eps [deleted file] blob | history
helm/papers/matita/matita-screenshot-selection.png [deleted file] blob | history
helm/papers/matita/matita-screenshot.eps [deleted file] blob | history
helm/papers/matita/matita-screenshot.png [deleted file] blob | history
helm/papers/matita/matita2.tex diff | blob | history
helm/papers/matita/pics/cicbrowser-screenshot-browsing.eps [new file with mode: 0644] blob
helm/papers/matita/pics/cicbrowser-screenshot-browsing.png [new file with mode: 0644] blob
helm/papers/matita/pics/cicbrowser-screenshot-con.eps [new file with mode: 0644] blob
helm/papers/matita/pics/cicbrowser-screenshot-con.png [new file with mode: 0644] blob
helm/papers/matita/pics/cicbrowser-screenshot-query.eps [new file with mode: 0644] blob
helm/papers/matita/pics/cicbrowser-screenshot-query.png [new file with mode: 0644] blob
helm/papers/matita/pics/libraries-clusters.dot [new file with mode: 0644] blob
helm/papers/matita/pics/libraries-clusters.png [new file with mode: 0644] blob
helm/papers/matita/pics/libraries-clusters.ps [new file with mode: 0644] blob
helm/papers/matita/pics/matita-screenshot-href.eps [new file with mode: 0644] blob
helm/papers/matita/pics/matita-screenshot-href.png [new file with mode: 0644] blob
helm/papers/matita/pics/matita-screenshot-selection.eps [new file with mode: 0644] blob
helm/papers/matita/pics/matita-screenshot-selection.png [new file with mode: 0644] blob
helm/papers/matita/pics/matita-screenshot.eps [new file with mode: 0644] blob
helm/papers/matita/pics/matita-screenshot.png [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.