]> matita.cs.unibo.it Git - helm.git/commit
* trust = true
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Mar 2006 14:10:47 +0000 (14:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Mar 2006 14:10:47 +0000 (14:10 +0000)
commitb1a96410226bc225bd33603fd2de921969453197
tree1e6c76451a9e4a970eaa9072bcbabed3cbb1b921
parent9af2c02b054a92804da88cb06d6699ce21b943c0
* trust = true
* better pretty-printing of type-checking exceptions
components/binaries/utilities/test_library.ml