]> matita.cs.unibo.it Git - helm.git/commit
* some small bug fixes
authorLuca Padovani <luca.padovani@unito.it>
Wed, 29 Jan 2003 18:15:56 +0000 (18:15 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 29 Jan 2003 18:15:56 +0000 (18:15 +0000)
commitee18ff6db8d49339230b4212e145964b12c5a523
treeb7bd3bed6d722b4aba4bc821d8f7ade2d2b2bcee
parent42fa20a1eac55122a1c6b2b47511ed162212c29b
* some small bug fixes
* updated licenses in all source files
helm/DEVEL/lablgtkmathview/ChangeLog
helm/DEVEL/lablgtkmathview/LICENSE
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