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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 3 Nov 2005 15:00:47 +0000 (15:00 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 3 Nov 2005 15:00:47 +0000 (15:00 +0000)
commit	6fa89cef6aa8fc1774db065a9fcfc47867579054
tree	57b71b43fdd6a4abdaf50cb7ac5ad3a0bbd47fe5	tree \| snapshot
parent	aaf75c2cff13515b049a15cc8a96734e8967ae9b	commit \| diff

better dependencies among modules and symlinking of several matitatools to a single one in order to reduce global size of matita executables

25 files changed:

helm/matita/.cvsignore		diff \| blob \| history
helm/matita/.depend		diff \| blob \| history
helm/matita/Makefile.in		diff \| blob \| history
helm/matita/configure.ac		diff \| blob \| history
helm/matita/matita.glade		diff \| blob \| history
helm/matita/matita.ml		diff \| blob \| history
helm/matita/matitaEngine.ml		diff \| blob \| history
helm/matita/matitaGtkMisc.ml		diff \| blob \| history
helm/matita/matitaGtkMisc.mli		diff \| blob \| history
helm/matita/matitaGui.ml		diff \| blob \| history
helm/matita/matitaGuiTypes.mli		diff \| blob \| history
helm/matita/matitaInit.ml		diff \| blob \| history
helm/matita/matitaMathView.ml		diff \| blob \| history
helm/matita/matitaMisc.ml		diff \| blob \| history
helm/matita/matitaMisc.mli		diff \| blob \| history
helm/matita/matitaScript.ml		diff \| blob \| history
helm/matita/matitaTypes.ml		diff \| blob \| history
helm/matita/matitaTypes.mli		diff \| blob \| history
helm/matita/matitac.ml		diff \| blob \| history
helm/matita/matitacLib.ml		diff \| blob \| history
helm/matita/matitaclean.ml		diff \| blob \| history
helm/matita/matitacleanLib.ml		diff \| blob \| history
helm/matita/matitacleanLib.mli		diff \| blob \| history
helm/matita/matitadep.ml		diff \| blob \| history
helm/matita/matitamake.ml		diff \| blob \| history

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