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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 4 Feb 2005 11:10:52 +0000 (11:10 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 4 Feb 2005 11:10:52 +0000 (11:10 +0000)
commit	6187b40af194fb960d91653682a0eb2096f20f3b
tree	41482df4d7234b772174651496099ee9e798f958	tree \| snapshot
parent	394bf3a0ca050cf97b1f318363e2e353f67141ad	commit \| diff

snapshot, notably:
- even more singleton instances: disambiguator is now common to matita
and matitac, but matita set different callbacks which uses gtk
- getter now embedded in matita (no longer use remote getter)
- use onwerization of tables

22 files changed:

helm/matita/.depend		diff \| blob \| history
helm/matita/Makefile.in		diff \| blob \| history
helm/matita/matita.conf.xml.sample		diff \| blob \| history
helm/matita/matita.glade		diff \| blob \| history
helm/matita/matita.ml		diff \| blob \| history
helm/matita/matitaDb.ml		diff \| blob \| history
helm/matita/matitaDb.mli		diff \| blob \| history
helm/matita/matitaDisambiguator.ml		diff \| blob \| history
helm/matita/matitaDisambiguator.mli		diff \| blob \| history
helm/matita/matitaGeneratedGui.ml		diff \| blob \| history
helm/matita/matitaGeneratedGui.mli		diff \| blob \| history
helm/matita/matitaGui.ml		diff \| blob \| history
helm/matita/matitaInterpreter.ml		diff \| blob \| history
helm/matita/matitaInterpreter.mli		diff \| blob \| history
helm/matita/matitaMathView.ml		diff \| blob \| history
helm/matita/matitaMathView.mli		diff \| blob \| history
helm/matita/matitaMisc.ml		diff \| blob \| history
helm/matita/matitaMisc.mli		diff \| blob \| history
helm/matita/matitaProof.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

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

RSS Atom