]> matita.cs.unibo.it Git - helm.git/commit
Interface reduction; code clean up.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Dec 2010 21:51:28 +0000 (21:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Dec 2010 21:51:28 +0000 (21:51 +0000)
commit1eba57d6ae8c7cb8adab81cf50674adaaa55eccc
tree44ffe37e15c8e5e669f8b82698cb7c4377d7f8e8
parentb9a7832bdd58be9ab5b9547af880bea152f2c3ce
Interface reduction; code clean up.
matita/matita/matitaGui.ml
matita/matita/matitaGuiTypes.mli
matita/matita/matitaMathView.ml
matita/matita/matitaMathView.mli
matita/matita/matitaScript.ml