]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d62d1b2) | patch
added screenshots describing matita features
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 11:29:39 +0000 (11:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 11:29:39 +0000 (11:29 +0000)
commit2a60d8bb599605a8f6a132f4a016b21de39b16d2
treeb7fc8d4a55e6405dd9adcb00d358d742c3375e0ftree | snapshot
parentd62d1b28015b18a515bdf81e2a8f658d158fae5acommit | diff
added screenshots describing matita features
22 files changed:
helm/www/matita/images/MINI_screenshot-cicbrowser-browsing.png [new file with mode: 0644] blob
helm/www/matita/images/MINI_screenshot-cicbrowser-proof.png [new file with mode: 0644] blob
helm/www/matita/images/MINI_screenshot-cicbrowser-query.png [new file with mode: 0644] blob
helm/www/matita/images/MINI_screenshot-matita-href.png [new file with mode: 0644] blob
helm/www/matita/images/MINI_screenshot-matita-selection.png [new file with mode: 0644] blob
helm/www/matita/images/MINI_screenshot-matita.png [new file with mode: 0644] blob
helm/www/matita/images/MINI_screenshot-tinycals.png [new file with mode: 0644] blob
helm/www/matita/images/README.minis [new file with mode: 0644] blob
helm/www/matita/images/bg0.png [new file with mode: 0644] blob
helm/www/matita/images/bg1.png [new file with mode: 0644] blob
helm/www/matita/images/bg2.png [new file with mode: 0644] blob
helm/www/matita/images/bg3.png [new file with mode: 0644] blob
helm/www/matita/images/screenshot-cicbrowser-browsing.png [new file with mode: 0644] blob
helm/www/matita/images/screenshot-cicbrowser-proof.png [new file with mode: 0644] blob
helm/www/matita/images/screenshot-cicbrowser-query.png [new file with mode: 0644] blob
helm/www/matita/images/screenshot-matita-href.png [new file with mode: 0644] blob
helm/www/matita/images/screenshot-matita-selection.png [new file with mode: 0644] blob
helm/www/matita/images/screenshot-matita.png [new file with mode: 0644] blob
helm/www/matita/images/screenshot-tinycals.png [new file with mode: 0644] blob
helm/www/matita/matita.shtml diff | blob | history
helm/www/matita/style.css diff | blob | history
helm/www/matita/xhtml-header.shtml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.