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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 27 Oct 2004 11:50:26 +0000 (11:50 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 27 Oct 2004 11:50:26 +0000 (11:50 +0000)
commit	1d431843f49b3658593c8cc918b53a43479a6486
tree	e6ce1ae347ff583b7298cb9749d3f4866e1946e3	tree \| snapshot
parent	9ab46e3c1b1766cce0299604cd07db6356c8b9a9	commit \| diff

snapshot, notably:
- ported to Dbi disambiguation
- started implementation of coqide-like script window

20 files changed:

helm/matita/.depend		diff \| blob \| history
helm/matita/Makefile.in		diff \| blob \| history
helm/matita/buildTimeConf.ml.in		diff \| blob \| history
helm/matita/configure.ac		diff \| blob \| history
helm/matita/matita.conf.xml.sample		diff \| blob \| history
helm/matita/matita.glade		diff \| blob \| history
helm/matita/matita.gtkrc	[new file with mode: 0644]	blob
helm/matita/matita.ml		diff \| blob \| history
helm/matita/matitaConsole.ml		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/matitaGui.mli		diff \| blob \| history
helm/matita/matitaInterpreter.ml		diff \| blob \| history
helm/matita/matitaMathView.ml		diff \| blob \| history
helm/matita/matitaMisc.ml	[new file with mode: 0644]	blob
helm/matita/matitaMisc.mli	[new file with mode: 0644]	blob
helm/matita/matitaTypes.ml		diff \| blob \| history

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