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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 5 Oct 2005 16:12:07 +0000 (16:12 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 5 Oct 2005 16:12:07 +0000 (16:12 +0000)
commit	595d77eece3202a799e786ac5996b6b1e25fac6e
tree	382a47dc6e50cc931bdf704544fbbce587c9f073	tree \| snapshot
parent	cc3a8b5a720b89afac5a4d90456754aa9b53c637	commit \| diff

completed support for "-nodb", now also matitaclean and its library work with that setting

12 files changed:

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