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

author	Alberto Griggio <griggio@fbk.eu>
	Wed, 22 Jun 2005 09:07:45 +0000 (09:07 +0000)
committer	Alberto Griggio <griggio@fbk.eu>
	Wed, 22 Jun 2005 09:07:45 +0000 (09:07 +0000)
commit	969fb8763a6d4afb88aef1eaa4a4d1ce7d626264
tree	b338b760c091964fa0a7eba1c437b5dbcaf939cc	tree \| snapshot
parent	7e0973fe9cb31ea68d8a046766f64fc978fbcdf6	commit \| diff

use of discrimination trees instead of path indexes, for a little
performance gain

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