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: aaefdd6) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 9 Jun 2006 15:12:20 +0000 (15:12 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 9 Jun 2006 15:12:20 +0000 (15:12 +0000)
commit	391f9cda43ee8c6d032358e86d12d3633e107a61
tree	eb6692deef5f740dc0228a98e9d468f79dec239b	tree \| snapshot
parent	aaefdd61e5a4bf25645812676c977a5a863daa33	commit \| diff

reworked css and html structure, continuing offline ...

helm/www/matita/bottombar.shtml		diff \| blob \| history
helm/www/matita/community.shtml		diff \| blob \| history
helm/www/matita/developers.shtml	[deleted file]	blob \| history
helm/www/matita/development.shtml	[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/matita.shtml		diff \| 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.