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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 8 Apr 2005 11:47:01 +0000 (11:47 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 8 Apr 2005 11:47:01 +0000 (11:47 +0000)
commit	db8cb29c71b8a7203e1038223e39cfc349671aa7
tree	1717202ffc364d1edbdd35da958e4707dee64999	tree \| snapshot
parent	c6762d611fb15644926b5d79bb4816a949c565ce	commit \| diff

changed logo: whelp!

helm/searchEngine/html/moogle_form.html.src		diff \| blob \| history
helm/searchEngine/html/moogle_header.html.src		diff \| blob \| history
helm/searchEngine/html/moogle_help.html		diff \| blob \| history
helm/searchEngine/html/moogle_init.html		diff \| blob \| history
helm/searchEngine/html/moogle_syntax.html		diff \| blob \| history
helm/searchEngine/html/whelp.png	[new file with mode: 0644]	blob
helm/searchEngine/html/whelp.svg	[new file with mode: 0644]	blob
helm/searchEngine/html/whelp_small.png	[new file with mode: 0644]	blob

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