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: 08ae8b1) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 8 Oct 2010 11:01:14 +0000 (11:01 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 8 Oct 2010 11:01:14 +0000 (11:01 +0000)
commit	cd5e575ed60527edac0a99196bd8d20f06841254
tree	7fe1213c055c27329ac1d63ef5b396db228120fe	tree \| snapshot
parent	08ae8b17903359fa9086a465096fd568c562d1d3	commit \| diff

Library committed again (because of a bug in SVN)

19 files changed:

matita/components/library/.depend		diff \| blob \| history
matita/components/library/.depend.opt		diff \| blob \| history
matita/components/library/Makefile		diff \| blob \| history
matita/components/library/cicCoercion.ml	[deleted file]	blob \| history
matita/components/library/cicCoercion.mli	[deleted file]	blob \| history
matita/components/library/cicElim.ml	[deleted file]	blob \| history
matita/components/library/cicElim.mli	[deleted file]	blob \| history
matita/components/library/cicFix.ml	[deleted file]	blob \| history
matita/components/library/cicFix.mli	[deleted file]	blob \| history
matita/components/library/cicRecord.ml	[deleted file]	blob \| history
matita/components/library/cicRecord.mli	[deleted file]	blob \| history
matita/components/library/coercDb.ml	[deleted file]	blob \| history
matita/components/library/coercDb.mli	[deleted file]	blob \| history
matita/components/library/libraryClean.ml		diff \| blob \| history
matita/components/library/libraryClean.mli		diff \| blob \| history
matita/components/library/libraryDb.ml	[deleted file]	blob \| history
matita/components/library/libraryDb.mli	[deleted file]	blob \| history
matita/components/library/librarySync.ml	[deleted file]	blob \| history
matita/components/library/librarySync.mli	[deleted file]	blob \| history

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