Display proof in text mode