]> 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)
commitdd1a439747a9f4448dc1cc845bfa6110db5ade41
tree6517be81943a24a12411d411a901ebf60be8e8d3
parent3add6ac24088e2a1d91a41123f433e2c2b0b796a
* trust = true
* better pretty-printing of type-checking exceptions
helm/software/components/binaries/utilities/test_library.ml