]> matita.cs.unibo.it Git - helm.git/commit
Test almost finished. Some bugs found.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 11:07:25 +0000 (11:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 11:07:25 +0000 (11:07 +0000)
commit35667e24851618733d8ef7576a6550f6e2f0b26b
tree6f897ef9e77922f83da41fe312220a9efaf270c5
parent33dcab0b5868d4bfd2f813445cfc94827f1fc555
Test almost finished. Some bugs found.
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gMathView.ml
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/ml_gtk_mathview.c
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml