]> matita.cs.unibo.it Git - helm.git/commit
* snapshot for gtk2
authorLuca Padovani <luca.padovani@unito.it>
Wed, 8 Oct 2003 06:13:50 +0000 (06:13 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 8 Oct 2003 06:13:50 +0000 (06:13 +0000)
commitbf6bbd9f2e47ce7a465c0bb3105f9a7c7d73a9ea
treec4a1bd04133ec51f951f5c52e0dfb6c811a60384
parentfde0ad77237a2fbdfb5621d5b5085fe7c82e3f92
* snapshot for gtk2
helm/DEVEL/mathml_editor/configure.ac
helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files
helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files
helm/DEVEL/mathml_editor/ocaml/Makefile.am
helm/DEVEL/mathml_editor/test/editor.cc
helm/DEVEL/mathml_editor/test/guiGTK.c
helm/DEVEL/mathml_editor/test/guiGTK.h