]> matita.cs.unibo.it Git - helm.git/commit
porting to lablgtk2 >= 2.14 and releasing
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Dec 2009 23:19:11 +0000 (23:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Dec 2009 23:19:11 +0000 (23:19 +0000)
commit732ffd3b5cb77cbacb60b95c1d52d3b63bd56c3b
treec058c61bd165b4174da5578dca9d8dab5d224fdf
parent56566861dd6e1dcb183dd1fa6e5dac758555ca48
porting to lablgtk2 >= 2.14 and releasing
helm/software/configure.ac
helm/software/matita/dist/ChangeLog
helm/software/matita/matitaGui.ml
helm/software/matita/matitaGuiTypes.mli
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaScript.ml
helm/software/matita/matitaScript.mli