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: 3698de5) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 6 Oct 2009 18:20:27 +0000 (18:20 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 6 Oct 2009 18:20:27 +0000 (18:20 +0000)
commit	3d23faf2969e2591db93f8bacc61952f3b66e2ca
tree	195f005dda11764e35f23d43e5fb6fec20c76ce3	tree \| snapshot
parent	3698de5ee6abc713534b0ee884e87e4046a087dd	commit \| diff

drgOutput: bug fix
we maked the non-tail recursive functions in: lib, common, automath, dual_rg

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