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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 10 Jun 2006 09:15:15 +0000 (09:15 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 10 Jun 2006 09:15:15 +0000 (09:15 +0000)
commit	d62d1b28015b18a515bdf81e2a8f658d158fae5a
tree	3155ae5ad3e8dd659abede71706042b310fc7f96	tree \| snapshot
parent	eae7632cf7e822dde484d1e630cc58993bfd8d3a	commit \| diff

- all final shtml are now well formed XML documents
- added a link to the logo in the top left corner
- structured and commented the CSS stylesheet
- added $Id$ where missing
- the Makefile no longer builds images when invoked with no targets

12 files changed:

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

RSS Atom

helm/www/matita/Makefile		diff \| blob \| history
helm/www/matita/bottombar.shtml		diff \| blob \| history
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/matita.shtml		diff \| blob \| history
helm/www/matita/menubar.shtml		diff \| blob \| history
helm/www/matita/splash.shtml		diff \| blob \| history
helm/www/matita/style.css		diff \| blob \| history
helm/www/matita/xhtml-header.shtml		diff \| blob \| history
helm/www/matita/xhtml-meta.shtml		diff \| blob \| history