]> matita.cs.unibo.it Git - helm.git/commit
Useless code removed; interfaces simplified; etc.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Dec 2010 17:21:43 +0000 (17:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Dec 2010 17:21:43 +0000 (17:21 +0000)
commit79ba29ddfc90c0b9bc26e1ddde46cb94cb800d51
treefe53abbd8d56a779f90b70a560a556b295eea2c7
parent3a3199faa15b1d96f8ccd8bd1551f6f4f9aceb66
Useless code removed; interfaces simplified; etc.
matita/matita/matitaGui.ml
matita/matita/matitaGuiTypes.mli
matita/matita/matitaScript.ml
matita/matita/matitaScript.mli