]> matita.cs.unibo.it Git - helm.git/commit
Start of test phase
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 09:56:56 +0000 (09:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 09:56:56 +0000 (09:56 +0000)
commit33dcab0b5868d4bfd2f813445cfc94827f1fc555
tree0c02b38d4c7aaab8f6416d176404aca366095ad7
parentfb6e592cfeee3b5d1c59e66888c953bd9c43156f
Start of test phase
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