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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 19 Apr 2004 12:01:03 +0000 (12:01 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 19 Apr 2004 12:01:03 +0000 (12:01 +0000)
commit	3d4c7ffba4f58ba6e0184e1493d1bd3087096f47
tree	6d569db312dee3d0c3db4cf7939f638f9ca4e4f6	tree \| snapshot
parent	1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c	commit \| diff

moved hbugs under ocaml/

54 files changed:

helm/hbugs/Makefile	[deleted file]	blob \| history
helm/hbugs/broker/.cvsignore	[deleted file]	blob \| history
helm/hbugs/broker/.depend	[deleted file]	blob \| history
helm/hbugs/broker/Makefile	[deleted file]	blob \| history
helm/hbugs/broker/Makefile.overrides	[deleted file]	blob \| history
helm/hbugs/broker/hbugs_broker.ml	[deleted file]	blob \| history
helm/hbugs/broker/hbugs_broker_ctl.sh	[deleted file]	blob \| history
helm/hbugs/broker/hbugs_broker_registry.ml	[deleted file]	blob \| history
helm/hbugs/broker/hbugs_broker_registry.mli	[deleted file]	blob \| history
helm/hbugs/broker/run/.cvsignore	[deleted file]	blob \| history
helm/hbugs/client/.cvsignore	[deleted file]	blob \| history
helm/hbugs/client/Makefile	[deleted file]	blob \| history
helm/hbugs/client/hbugs_client.ml	[deleted file]	blob \| history
helm/hbugs/client/hbugs_client.mli	[deleted file]	blob \| history
helm/hbugs/client/hbugs_gui.glade	[deleted file]	blob \| history
helm/hbugs/client/main.ml	[deleted file]	blob \| history
helm/hbugs/common/.cvsignore	[deleted file]	blob \| history
helm/hbugs/common/.depend	[deleted file]	blob \| history
helm/hbugs/common/Makefile	[deleted file]	blob \| history
helm/hbugs/common/Makefile.overrides	[deleted file]	blob \| history
helm/hbugs/common/hbugs_common.ml	[deleted file]	blob \| history
helm/hbugs/common/hbugs_common.mli	[deleted file]	blob \| history
helm/hbugs/common/hbugs_id_generator.ml	[deleted file]	blob \| history
helm/hbugs/common/hbugs_id_generator.mli	[deleted file]	blob \| history
helm/hbugs/common/hbugs_messages.ml	[deleted file]	blob \| history
helm/hbugs/common/hbugs_messages.mli	[deleted file]	blob \| history
helm/hbugs/common/hbugs_misc.ml	[deleted file]	blob \| history
helm/hbugs/common/hbugs_misc.mli	[deleted file]	blob \| history
helm/hbugs/common/hbugs_types.ml	[deleted file]	blob \| history
helm/hbugs/common/threadSafe.ml	[deleted file]	blob \| history
helm/hbugs/doc/.cvsignore	[deleted file]	blob \| history
helm/hbugs/doc/hbugs.dia	[deleted file]	blob \| history
helm/hbugs/meta/.cvsignore	[deleted file]	blob \| history
helm/hbugs/meta/META.hbugs-client.in	[deleted file]	blob \| history
helm/hbugs/meta/META.hbugs-common.in	[deleted file]	blob \| history
helm/hbugs/meta/META.hbugs-thread-safe.in	[deleted file]	blob \| history
helm/hbugs/meta/Makefile	[deleted file]	blob \| history
helm/hbugs/test/.cvsignore	[deleted file]	blob \| history
helm/hbugs/test/HBUGS_MESSAGES.xml	[deleted file]	blob \| history
helm/hbugs/test/Makefile	[deleted file]	blob \| history
helm/hbugs/test/test_serialization.ml	[deleted file]	blob \| history
helm/hbugs/tutors/.cvsignore	[deleted file]	blob \| history
helm/hbugs/tutors/INDEX.xml	[deleted file]	blob \| history
helm/hbugs/tutors/Makefile	[deleted file]	blob \| history
helm/hbugs/tutors/build_tutors.ml	[deleted file]	blob \| history
helm/hbugs/tutors/hbugs_deity.ml	[deleted file]	blob \| history
helm/hbugs/tutors/hbugs_deity.mli	[deleted file]	blob \| history
helm/hbugs/tutors/hbugs_tutor.TPL.ml	[deleted file]	blob \| history
helm/hbugs/tutors/hbugs_tutors_common.ml	[deleted file]	blob \| history
helm/hbugs/tutors/hbugs_tutors_common.mli	[deleted file]	blob \| history
helm/hbugs/tutors/ls_tutors.ml	[deleted file]	blob \| history
helm/hbugs/tutors/run/.cvsignore	[deleted file]	blob \| history
helm/hbugs/tutors/sabba.sh	[deleted file]	blob \| history
helm/hbugs/tutors/search_pattern_apply_tutor.ml	[deleted file]	blob \| history

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

RSS Atom