]> matita.cs.unibo.it Git - helm.git/commit
Fixing the selections
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Nov 2000 14:29:55 +0000 (14:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Nov 2000 14:29:55 +0000 (14:29 +0000)
commitcd82ace8c05648fbfcc19b78f17fbe6536fa10a2
treeb85ee4dd9030dffd93d332031b6ef69f044c4b46
parent827217f7d82afca44f31615c2ed3a99ac48496c2
Fixing the selections
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/gtkMathView.ml
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/ml_minidom.h
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/ml_gtk_mathview.c
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml