]> matita.cs.unibo.it Git - helm.git/commit
ported to latest lablgtkmathview
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Sep 2004 16:00:40 +0000 (16:00 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Sep 2004 16:00:40 +0000 (16:00 +0000)
commitf36273550bc0538ea194cf0dee32ec608a6790f7
treefe1c87a6b3c956fd474dc780eb239cc5e92c4fd0
parent11469c708704f96fde66e5bbc297f51a58173fb1
ported to latest lablgtkmathview
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/termViewer.ml
helm/gTopLevel/termViewer.mli
helm/gTopLevel/texTermEditor.ml