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: bfcde2b) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 7 Oct 2010 16:29:52 +0000 (16:29 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 7 Oct 2010 16:29:52 +0000 (16:29 +0000)
commit	77f31024bf00b913703eab774ce421cec0518058
tree	cb15fdcd79c1c1304d5b0c1b9108c263c42d7247	tree \| snapshot
parent	bfcde2b08d72f1392ed61164c67d199360f0397f	commit \| diff

xmldiff removed

matita/components/METAS/meta.helm-xmldiff.src	[deleted file]	blob \| history
matita/components/Makefile		diff \| blob \| history
matita/components/xmldiff/.depend	[deleted file]	blob \| history
matita/components/xmldiff/.depend.opt	[deleted file]	blob \| history
matita/components/xmldiff/Makefile	[deleted file]	blob \| history
matita/components/xmldiff/xmlDiff.ml	[deleted file]	blob \| history
matita/components/xmldiff/xmlDiff.mli	[deleted file]	blob \| history
matita/configure.ac		diff \| blob \| history

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