]> matita.cs.unibo.it Git - helm.git/commit
More code clean-up.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Dec 2010 17:42:07 +0000 (17:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Dec 2010 17:42:07 +0000 (17:42 +0000)
commit4f5afdc73a5331357c3410858d5202a98832e59b
tree66ca37b4caa85dbd307a2248dbb89ccbdc41ad92
parent79ba29ddfc90c0b9bc26e1ddde46cb94cb800d51
More code clean-up.
matita/matita/matita.glade
matita/matita/matitaGui.ml
matita/matita/matitaGuiTypes.mli
matita/matita/matitaMathView.ml