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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 26 Nov 2004 14:17:01 +0000 (14:17 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 26 Nov 2004 14:17:01 +0000 (14:17 +0000)
commit	c67937ec06d9f7914b9f863e1afb2e4a7e489161
tree	72e9aa609c34a4dfa1a0b25aabdb22d68b4c4eb1	tree \| snapshot
parent	b0c458c8ba160bfac2ba3ab3d20af6224e9b4ac4	commit \| diff

ported to new xpointer syntax

13 files changed:

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