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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 7 Jan 2003 20:37:58 +0000 (20:37 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 7 Jan 2003 20:37:58 +0000 (20:37 +0000)
commit	5d7d6bd5090f3f82279bef0b93b4b361a5b1d751
tree	d1fcbb44df3c452e2cbb14c6ec28d4a27c48d4c7	tree \| snapshot
parent	39d7157312213114f81948978510bed7d85a7610	commit \| diff

- fixed helm web page url and copyright notice

30 files changed:

helm/hbugs/broker/hbugs_broker.ml		diff \| blob \| history
helm/hbugs/broker/hbugs_broker_registry.ml		diff \| blob \| history
helm/hbugs/broker/hbugs_broker_registry.mli		diff \| blob \| history
helm/hbugs/common/.depend		diff \| blob \| history
helm/hbugs/common/hbugs_id_generator.ml		diff \| blob \| history
helm/hbugs/common/hbugs_id_generator.mli		diff \| blob \| history
helm/hbugs/common/hbugs_messages.ml		diff \| blob \| history
helm/hbugs/common/hbugs_messages.mli		diff \| blob \| history
helm/hbugs/common/hbugs_misc.ml		diff \| blob \| history
helm/hbugs/common/hbugs_misc.mli		diff \| blob \| history
helm/hbugs/common/hbugs_types.ml		diff \| blob \| history
helm/hbugs/common/threadSafe.ml		diff \| blob \| history
helm/http_getter/http_getter.ml		diff \| blob \| history
helm/http_getter/http_getter_cache.ml		diff \| blob \| history
helm/http_getter/http_getter_cache.mli		diff \| blob \| history
helm/http_getter/http_getter_common.ml		diff \| blob \| history
helm/http_getter/http_getter_common.mli		diff \| blob \| history
helm/http_getter/http_getter_const.ml		diff \| blob \| history
helm/http_getter/http_getter_const.mli		diff \| blob \| history
helm/http_getter/http_getter_debugger.ml		diff \| blob \| history
helm/http_getter/http_getter_debugger.mli		diff \| blob \| history
helm/http_getter/http_getter_env.ml		diff \| blob \| history
helm/http_getter/http_getter_env.mli		diff \| blob \| history
helm/http_getter/http_getter_map.ml		diff \| blob \| history
helm/http_getter/http_getter_map.mli		diff \| blob \| history
helm/http_getter/http_getter_misc.ml		diff \| blob \| history
helm/http_getter/http_getter_misc.mli		diff \| blob \| history
helm/http_getter/http_getter_types.ml		diff \| blob \| history
helm/http_getter/threadSafe.ml		diff \| blob \| history
helm/http_getter/threadSafe.mli		diff \| blob \| history

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

RSS Atom