]> matita.cs.unibo.it Git - helm.git/commit
First commit toward 0.3.0.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Feb 2002 15:06:33 +0000 (15:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Feb 2002 15:06:33 +0000 (15:06 +0000)
commit5a7485a8f24e457fd4cc091f24c48f3cb8d11fca
treeadaa3b07828802d677e96cd8147ce937afd86b73
parent10434de696a721d9ea1b4eddc4169d601ee671e5
First commit toward 0.3.0.
Instead of minidom, gdome and gmetadom are now used.
helm/DEVEL/lablgtkmathview/META.in
helm/DEVEL/lablgtkmathview/Makefile.in
helm/DEVEL/lablgtkmathview/configure.in
helm/DEVEL/lablgtkmathview/debian/control
helm/DEVEL/lablgtkmathview/gMathView.ml
helm/DEVEL/lablgtkmathview/gtkMathView.ml
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
helm/DEVEL/lablgtkmathview/test/test.ml