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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 8 Jan 2006 17:26:52 +0000 (17:26 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 8 Jan 2006 17:26:52 +0000 (17:26 +0000)
commit	1a40d93d10be4ee71ae9474384af931d70918690
tree	00b98f630db6bdfa78954a8749864aeea665ecba	tree \| snapshot
parent	93703370bfac25b4d342278388f54cc5e27cd531	commit \| diff

.cvsignore files removed (the svn:property property is used instead)

54 files changed:

helm/matita/.cvsignore	[deleted file]	blob \| history
helm/matita/contribs/LAMBDA-TYPES/.cvsignore	[deleted file]	blob \| history
helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore	[deleted file]	blob \| history
helm/matita/dist/static_link/.cvsignore	[deleted file]	blob \| history
helm/matita/library/.cvsignore	[deleted file]	blob \| history
helm/matita/library/Z/.cvsignore	[deleted file]	blob \| history
helm/matita/library/datatypes/.cvsignore	[deleted file]	blob \| history
helm/matita/library/higher_order_defs/.cvsignore	[deleted file]	blob \| history
helm/matita/library/logic/.cvsignore	[deleted file]	blob \| history
helm/matita/library/nat/.cvsignore	[deleted file]	blob \| history
helm/matita/tests/.cvsignore	[deleted file]	blob \| history
helm/matita/tests/bad_tests/.cvsignore	[deleted file]	blob \| history
helm/ocaml/.cvsignore	[deleted file]	blob \| history
helm/ocaml/METAS/.cvsignore	[deleted file]	blob \| history
helm/ocaml/acic_content/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_acic/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/utilities/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_unification/.cvsignore	[deleted file]	blob \| history
helm/ocaml/content_pres/.cvsignore	[deleted file]	blob \| history
helm/ocaml/extlib/.cvsignore	[deleted file]	blob \| history
helm/ocaml/getter/.cvsignore	[deleted file]	blob \| history
helm/ocaml/grafite/.cvsignore	[deleted file]	blob \| history
helm/ocaml/grafite_engine/.cvsignore	[deleted file]	blob \| history
helm/ocaml/grafite_parser/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/data/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/doc/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/run/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/test/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hgdome/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hmysql/.cvsignore	[deleted file]	blob \| history
helm/ocaml/lexicon/.cvsignore	[deleted file]	blob \| history
helm/ocaml/library/.cvsignore	[deleted file]	blob \| history
helm/ocaml/logger/.cvsignore	[deleted file]	blob \| history
helm/ocaml/mathql/.cvsignore	[deleted file]	blob \| history
helm/ocaml/mathql_generator/.cvsignore	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/.cvsignore	[deleted file]	blob \| history
helm/ocaml/metadata/.cvsignore	[deleted file]	blob \| history
helm/ocaml/metadata/extractor/.cvsignore	[deleted file]	blob \| history
helm/ocaml/metadata/table_creator/.cvsignore	[deleted file]	blob \| history
helm/ocaml/paramodulation/.cvsignore	[deleted file]	blob \| history
helm/ocaml/registry/.cvsignore	[deleted file]	blob \| history
helm/ocaml/tactics/.cvsignore	[deleted file]	blob \| history
helm/ocaml/tactics/doc/.cvsignore	[deleted file]	blob \| history
helm/ocaml/thread/.cvsignore	[deleted file]	blob \| history
helm/ocaml/thread/fake/.cvsignore	[deleted file]	blob \| history
helm/ocaml/urimanager/.cvsignore	[deleted file]	blob \| history
helm/ocaml/utf8_macros/.cvsignore	[deleted file]	blob \| history
helm/ocaml/whelp/.cvsignore	[deleted file]	blob \| history
helm/ocaml/xml/.cvsignore	[deleted file]	blob \| history
helm/ocaml/xmldiff/.cvsignore	[deleted file]	blob \| history

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

RSS Atom