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: 2b649ad) | patch

author	denes <??>
	Mon, 22 Jun 2009 17:12:49 +0000 (17:12 +0000)
committer	denes <??>
	Mon, 22 Jun 2009 17:12:49 +0000 (17:12 +0000)
commit	cb1b4380e7133a0a7a0f22c667afbb6abd0de410
tree	1b3add48957cd92b535476f87d63af57b74a4fc2	tree \| snapshot
parent	2b649ad5e3d7413b795fe86bdf7fe6a5c0b9c194	commit \| diff

Added more precise time information

helm/software/components/ng_paramodulation/paramod.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/superposition.ml		diff \| blob \| history

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