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: 6ec0a25) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 4 Jul 2005 09:59:57 +0000 (09:59 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 4 Jul 2005 09:59:57 +0000 (09:59 +0000)
commit	ee3f2aa5b78aa77555e5e81d5a2d92501889649e
tree	74d101ad1b910d1b182c026defb275457a628c2d	tree \| snapshot
parent	6ec0a251ac681afb3a305323097d72ab80d7da6b	commit \| diff

matitaclean splitted in matitacleanLib and matitaclean.

helm/matita/.depend		diff \| blob \| history
helm/matita/Makefile.in		diff \| blob \| history
helm/matita/matitaDb.ml		diff \| blob \| history
helm/matita/matitaDb.mli		diff \| blob \| history
helm/matita/matitaclean.ml		diff \| blob \| history
helm/matita/matitacleanLib.ml	[new file with mode: 0644]	blob
helm/matita/matitacleanLib.mli	[new file with mode: 0644]	blob

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