]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4807fd) | patch
- added a real-life index page
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 23:52:36 +0000 (23:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 23:52:36 +0000 (23:52 +0000)
commit0775f6acafa9aa176d148a8f3acf7e750c1c3171
treed47c9b436ce8ad84141126b937534d2d2b87e662tree | snapshot
parente4807fdacd5b71bfd2e754f42f520d82fd178386commit | diff
- added a real-life index page
- removed the label 'matita' on the top-left logo
- added a big 'matita' label for the index page
- factorized common stuff that goes inside <head> in a new SSI
13 files changed:
helm/www/matita/community.shtml diff | blob | history
helm/www/matita/development.shtml diff | blob | history
helm/www/matita/documentation.shtml diff | blob | history
helm/www/matita/download.shtml diff | blob | history
helm/www/matita/images/matita-small.png diff | blob | history
helm/www/matita/images/matita-text-big.png [new file with mode: 0644] blob
helm/www/matita/images/matita-w-text-big.png [new file with mode: 0644] blob
helm/www/matita/images/matita-w-text-small.png [new file with mode: 0644] blob
helm/www/matita/matita.shtml diff | blob | history
helm/www/matita/menubar.shtml diff | blob | history
helm/www/matita/splash.shtml [new file with mode: 0644] blob
helm/www/matita/style.css diff | blob | history
helm/www/matita/xhtml-meta.shtml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.