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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 26 Oct 2013 17:47:20 +0000 (17:47 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 26 Oct 2013 17:47:20 +0000 (17:47 +0000)
commit	b3c3ea1c87cbd7a87c8c29a276fc16f9ebbfb5bd
tree	13b4e2f69f52b9fafd9b490441b270e0a9ee23db	tree \| snapshot
parent	da709ff53af3903d9c5dd8ba016948548a8550ef	commit \| diff

- bug fix in the connection between global and restricted big-tree
proper computation
- one file was not committed :(

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