]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a864882) | patch
Pretty printing of exceptions escaped from pretty printing of exceptions
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Jun 2011 08:53:47 +0000 (08:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Jun 2011 08:53:47 +0000 (08:53 +0000)
commitefb3a9c74e44f0b3ad847d79920e9b58a49e67a7
tree75b7588a0ab760d39bb6f608c850a2d6e40fdea4tree | snapshot
parenta8648828c3546e3ad7cf474ba4a87c2faa245b9fcommit | diff
Pretty printing of exceptions escaped from pretty printing of exceptions
improved.
matita/matita/matitaExcPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.