]> matita.cs.unibo.it Git - helm.git/commit
Useless code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Dec 2010 17:01:01 +0000 (17:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Dec 2010 17:01:01 +0000 (17:01 +0000)
commit6ab0b3e34eee7c4efa628e2994b461347d1bcebf
tree7535fbdd495f9433bf7e9c0a2408282d89e7a432
parent5f55d666e5f640de8f1b91f14d77346af5d5488c
Useless code removed.
matita/matita/cicMathView.ml
matita/matita/cicMathView.mli
matita/matita/matitaGui.ml
matita/matita/matitaMathView.ml
matita/matita/matitaScript.ml
matita/matita/matitaScript.mli