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: 1756fda) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 9 Jul 2009 14:25:44 +0000 (14:25 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 9 Jul 2009 14:25:44 +0000 (14:25 +0000)
commit	4dc87cc7384ba61136bc82a23effe6a52160e720
tree	2f625d3702716db26134e0e2e9a0fa48f9a64f86	tree \| snapshot
parent	1756fda18552874b063459b27448a4d0face1f39	commit \| diff

new nrepeat (and block '('...')' ) tactical

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