]> matita.cs.unibo.it Git - helm.git/commit
better dependencies among modules and symlinking of several matitatools to a single...
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Nov 2005 15:00:47 +0000 (15:00 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Nov 2005 15:00:47 +0000 (15:00 +0000)
commit6fa89cef6aa8fc1774db065a9fcfc47867579054
tree57b71b43fdd6a4abdaf50cb7ac5ad3a0bbd47fe5
parentaaf75c2cff13515b049a15cc8a96734e8967ae9b
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
helm/matita/.depend
helm/matita/Makefile.in
helm/matita/configure.ac
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaEngine.ml
helm/matita/matitaGtkMisc.ml
helm/matita/matitaGtkMisc.mli
helm/matita/matitaGui.ml
helm/matita/matitaGuiTypes.mli
helm/matita/matitaInit.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMisc.ml
helm/matita/matitaMisc.mli
helm/matita/matitaScript.ml
helm/matita/matitaTypes.ml
helm/matita/matitaTypes.mli
helm/matita/matitac.ml
helm/matita/matitacLib.ml
helm/matita/matitaclean.ml
helm/matita/matitacleanLib.ml
helm/matita/matitacleanLib.mli
helm/matita/matitadep.ml
helm/matita/matitamake.ml