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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 5 Nov 2007 12:10:34 +0000 (12:10 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 5 Nov 2007 12:10:34 +0000 (12:10 +0000)
commit	77c2a38d7ad4098eed354f68456411227230a3a2
tree	da0c7b35467a246ff9aeff74c8b25d09eebdadb9	tree \| snapshot
parent	127781aeff80e54f2c5d80ef6ffbe4ef27b24b38	commit \| diff

Filenames are now fully mangled (e.g. matita_nat_nat.ml) to avoid file name
clashes.

components/cic_exportation/cicExportation.ml		diff \| blob \| history
components/cic_exportation/cicExportation.mli		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history

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