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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 7 Jan 2008 09:01:29 +0000 (09:01 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 7 Jan 2008 09:01:29 +0000 (09:01 +0000)
commit	bd258ecf3eae6aef4ff6b1d1dd8e1c8c2bb17677
tree	11455ead6414194c82e741c2b4cbac04eb08929e	tree \| snapshot
parent	b066ec682141c7c41d77e80d70c71aeadd1f1ab3	commit \| diff

removed all Developments related stuff in glade file,
added matita.includes to the default paths matita uses,
nice error message when a file is not found

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

RSS Atom

components/library/librarian.ml		diff \| blob \| history
components/library/librarian.mli		diff \| blob \| history
matita/matita.glade		diff \| blob \| history
matita/matita.ml		diff \| blob \| history
matita/matitaGui.ml		diff \| blob \| history
matita/matitaGuiTypes.mli		diff \| blob \| history
matita/matitaScript.ml		diff \| blob \| history
matita/matitaScript.mli		diff \| blob \| history