]> matita.cs.unibo.it Git - helm.git/commit
* upgrade to lablgtk2
authorLuca Padovani <luca.padovani@unito.it>
Mon, 6 Oct 2003 09:01:48 +0000 (09:01 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 6 Oct 2003 09:01:48 +0000 (09:01 +0000)
commit278d9954e80f952f7cde793e33e01bacce1cd40c
treeb1cb3504d48d2b3721a5ec430c0d4e756340fc1d
parent315019bd94fc4908aca32bbc1d259e7ece7eb58d
* upgrade to lablgtk2
helm/DEVEL/lablgtkmathview/.depend
helm/DEVEL/lablgtkmathview/Makefile.in
helm/DEVEL/lablgtkmathview/gMathView.ml
helm/DEVEL/lablgtkmathview/gMathView.mli
helm/DEVEL/lablgtkmathview/gMathViewAux.ml
helm/DEVEL/lablgtkmathview/gMathViewAux.mli
helm/DEVEL/lablgtkmathview/gtkMathView.ml
helm/DEVEL/lablgtkmathview/gtk_mathview.ml
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
helm/DEVEL/lablgtkmathview/test/test.ml