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: 9369b99) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 5 Nov 2010 12:45:21 +0000 (12:45 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 5 Nov 2010 12:45:21 +0000 (12:45 +0000)
commit	b505ea98f76ba6defb31be73a6871c62136e5747
tree	7ce87714b0b116171bd85649baa74a0396698aaf	tree \| snapshot
parent	9369b99d37875350d949661f91403f738e7bf732	commit \| diff

- matitacLib merged into matitaEngine

matita/matita/Makefile		diff \| blob \| history
matita/matita/matitaEngine.ml		diff \| blob \| history
matita/matita/matitaEngine.mli		diff \| blob \| history
matita/matita/matitaExcPp.ml		diff \| blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/matitac.ml		diff \| blob \| history
matita/matita/matitacLib.ml	[deleted file]	blob \| history
matita/matita/matitacLib.mli	[deleted file]	blob \| history

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