matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 20 Sep 2005 10:51:26 +0000 (10:51 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 20 Sep 2005 10:51:26 +0000 (10:51 +0000)
commit	51d82e0a8a4d4ed86d2646edb2654e565ac34a82
tree	5c4eab537805c8d1914eed9b9d11f9eb97fe2b95	tree \| snapshot
parent	65de996c8b18f6c7f7a8aeaccb83b984d62d4ce5	commit \| diff

all initialization code is now in the new matitaInit.ml module.

12 files changed:

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