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: 9b2d80a) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 5 Oct 2010 13:56:33 +0000 (13:56 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 5 Oct 2010 13:56:33 +0000 (13:56 +0000)
commit	c0700c9d9cf3aa044b2f2945a832a6c2eebd5409
tree	6dd0be3c39a8d8dd9abd117214faa3f9be4d432f	tree \| snapshot
parent	9b2d80a73289bb74c6ecef2e449cb8190caf8cd2	commit \| diff

- matitaWiki removed
- dump_moo removed
- matitaAutoGui removed

matita/matita/.depend		diff \| blob \| history
matita/matita/.depend.opt		diff \| blob \| history
matita/matita/Makefile		diff \| blob \| history
matita/matita/dump_moo.ml	[deleted file]	blob \| history
matita/matita/matita.glade		diff \| blob \| history
matita/matita/matitaAutoGui.ml	[deleted file]	blob \| history
matita/matita/matitaAutoGui.mli	[deleted file]	blob \| history
matita/matita/matitaGui.ml		diff \| blob \| history
matita/matita/matitaWiki.ml	[deleted file]	blob \| history
matita/matita/matitac.ml		diff \| blob \| history

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