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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 27 Jan 2004 17:08:31 +0000 (17:08 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 27 Jan 2004 17:08:31 +0000 (17:08 +0000)
commit	f5b6be7239a35e1d0aba504605b5a0df5cf06726
tree	ab5d1d03d8e1c69b6e328c8206f367c74ea310e7	tree \| snapshot
parent	fb3367a180abd237b4096fe398178dd14b994f6d	commit \| diff

s/List.find.../CicUtil.lookup_meta/

13 files changed:

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