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: 65f400a) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 4 Jun 2005 17:23:42 +0000 (17:23 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 4 Jun 2005 17:23:42 +0000 (17:23 +0000)
commit	bf6144a808a16d4e576e56593bbcd63b8db5fe4c
tree	982edb20398cb9405d9e12a24e64ae1a6cebd480	tree \| snapshot
parent	65f400affe20fa3fe66b9a998ced5d6f64a23b45	commit \| diff

snapshot (first version with working pattern matching both 3->2 and 2->1)

yupppppieeeeeeeeeeeeeeeeee!
yayyyy

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