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

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

author	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 5 Oct 2010 15:35:31 +0000 (15:35 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 5 Oct 2010 15:35:31 +0000 (15:35 +0000)
commit	f9a3532255fb8dd1bf88902898bfe887a078c53e
tree	af00595e521f57457f951cffb706284f08331a39	tree \| snapshot
parent	263103153fd8782ff95c4d075339a445a64bea1d	commit \| diff

-hbugs: RIP

31 files changed:

matita/components/hbugs/.depend	[deleted file]	blob \| history
matita/components/hbugs/Makefile	[deleted file]	blob \| history
matita/components/hbugs/broker.ml	[deleted file]	blob \| history
matita/components/hbugs/client.ml	[deleted file]	blob \| history
matita/components/hbugs/data/hbugs_tutor.TPL.ml	[deleted file]	blob \| history
matita/components/hbugs/data/tutors_index.xml	[deleted file]	blob \| history
matita/components/hbugs/doc/hbugs.dia	[deleted file]	blob \| history
matita/components/hbugs/hbugs_broker_registry.ml	[deleted file]	blob \| history
matita/components/hbugs/hbugs_broker_registry.mli	[deleted file]	blob \| history
matita/components/hbugs/hbugs_client.ml	[deleted file]	blob \| history
matita/components/hbugs/hbugs_client.mli	[deleted file]	blob \| history
matita/components/hbugs/hbugs_client_gui.glade	[deleted file]	blob \| history
matita/components/hbugs/hbugs_common.ml	[deleted file]	blob \| history
matita/components/hbugs/hbugs_common.mli	[deleted file]	blob \| history
matita/components/hbugs/hbugs_id_generator.ml	[deleted file]	blob \| history
matita/components/hbugs/hbugs_id_generator.mli	[deleted file]	blob \| history
matita/components/hbugs/hbugs_messages.ml	[deleted file]	blob \| history
matita/components/hbugs/hbugs_messages.mli	[deleted file]	blob \| history
matita/components/hbugs/hbugs_misc.ml	[deleted file]	blob \| history
matita/components/hbugs/hbugs_misc.mli	[deleted file]	blob \| history
matita/components/hbugs/hbugs_tutors.ml	[deleted file]	blob \| history
matita/components/hbugs/hbugs_tutors.mli	[deleted file]	blob \| history
matita/components/hbugs/hbugs_types.mli	[deleted file]	blob \| history
matita/components/hbugs/scripts/brokerctl.sh	[deleted file]	blob \| history
matita/components/hbugs/scripts/build_tutors.ml	[deleted file]	blob \| history
matita/components/hbugs/scripts/ls_tutors.ml	[deleted file]	blob \| history
matita/components/hbugs/scripts/sabba.sh	[deleted file]	blob \| history
matita/components/hbugs/search_pattern_apply_tutor.ml	[deleted file]	blob \| history
matita/components/hbugs/test/HBUGS_MESSAGES.xml	[deleted file]	blob \| history
matita/components/hbugs/test/Makefile	[deleted file]	blob \| history
matita/components/hbugs/test/test_serialization.ml	[deleted file]	blob \| history

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

RSS Atom