]> matita.cs.unibo.it Git - helm.git/commit
pretty print errors using red color instead of h1 text (close #50)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Mar 2003 15:49:08 +0000 (15:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Mar 2003 15:49:08 +0000 (15:49 +0000)
commitaa39605bc50cc876067b768ed8b0a348415b3a91
treeeb361a9d910bfc81e30a3b826ecf0c80739ec2ed
parent828ef0c1de3cd18634ca2a5070818e521fb5f19e
pretty print errors using red color instead of h1 text (close #50)
helm/uwobo/uwobo_common.ml