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: 08b2e9f) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 3 Feb 2005 16:45:22 +0000 (16:45 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 3 Feb 2005 16:45:22 +0000 (16:45 +0000)
commit	541a200b13431987114dd3fd88ec9764cee1e772
tree	891f15da9d5ad48cda749376a3bf1b405be0367f	tree \| snapshot
parent	08b2e9f42c841f03dade37e3c16d78e1bfdc946f	commit \| diff

better owner hadling
better basedir non existent path handling
matitaDb module to set up and clean owner metadata environment

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

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