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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 5 Jan 2008 14:31:40 +0000 (14:31 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 5 Jan 2008 14:31:40 +0000 (14:31 +0000)
commit	fa0347cc0a604ba8743da9479117e1f13ab60482
tree	38e685d8cbf02adb64f37bce9ce6b7fab480c717	tree \| snapshot
parent	e5141edaab98baafa31173da8164fa5d87b808c5	commit \| diff

modifications to make matita behave reasonably, removed some useless windows

21 files changed:

components/extlib/hExtlib.ml		diff \| blob \| history
components/extlib/hExtlib.mli		diff \| blob \| history
components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
components/grafite_engine/grafiteSync.ml		diff \| blob \| history
components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
components/grafite_engine/grafiteTypes.mli		diff \| blob \| history
components/library/librarian.ml		diff \| blob \| history
components/library/librarian.mli		diff \| blob \| history
matita/buildTimeConf.ml.in		diff \| blob \| history
matita/matita.ma.templ		diff \| blob \| history
matita/matita.ml		diff \| blob \| history
matita/matitaGui.ml		diff \| blob \| history
matita/matitaGuiTypes.mli		diff \| blob \| history
matita/matitaInit.ml		diff \| blob \| history
matita/matitaScript.ml		diff \| blob \| history
matita/matitaScript.mli		diff \| blob \| history
matita/matitaWiki.ml		diff \| blob \| history
matita/matitac.ml		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history
matita/template_makefile.in	[deleted file]	blob \| history
matita/template_makefile_devel.in	[deleted file]	blob \| history

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