The Coq mailing list

[Hendrik Tews <tews AT os.inf.tu-dresden.de>]

Dear Coq users,

I just released a first version of prooftree, which can visualize
proof trees during interactive Coq development. The project is in
an early development state, but I believe it is useful already.
See http://askra.de/software/prooftree/ for more details.

Installation is a bit difficult at the moment, because you need a
special development version of Proof General as well as a patched
version of Coq. Apologies for that.

Have fun,

Hendrik Tews