]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/matitaScript.ml
New implementation for localized exceptions.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Nov 2005 22:31:36 +0000 (22:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Nov 2005 22:31:36 +0000 (22:31 +0000)
commit78cd354ba5225f6431ab0bab6dcaa548bb5a24c3
tree8ed08321aed58e3be61d47024fabd66aa6b44f30
parentbc504bdaca501cd4d33f3240e01855988bc15b79
New implementation for localized exceptions.
helm/matita/matitaExcPp.ml
helm/matita/matitaExcPp.mli
helm/matita/matitaGui.ml
helm/matita/matitaMathView.ml
helm/matita/matitaScript.ml
helm/matita/matitaScript.mli
helm/matita/matitacLib.ml
helm/matita/matitacleanLib.ml