matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 3799405) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 9 Jun 2006 19:50:21 +0000 (19:50 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 9 Jun 2006 19:50:21 +0000 (19:50 +0000)
commit	e4807fdacd5b71bfd2e754f42f520d82fd178386
tree	fbbe46b414cf98dd4f22e7682a7fe153d3313cd5	tree \| snapshot
parent	379940541ddc8f917c5a002810a62e4bcad6e83c	commit \| diff

rewored website layout and internal structure:
- moved menu bar to the left
- added logo on the top left
- added headings

helm/www/matita/community.shtml		diff \| blob \| history
helm/www/matita/development.shtml		diff \| blob \| history
helm/www/matita/docs/manual/install.html	[new file with mode: 0644]	blob
helm/www/matita/documentation.shtml		diff \| blob \| history
helm/www/matita/download.shtml		diff \| blob \| history
helm/www/matita/install.html	[deleted file]	blob \| history
helm/www/matita/menubar.shtml		diff \| blob \| history
helm/www/matita/style.css		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.