The Coq mailing list

[Bas Spitters <spitters AT cs.ru.nl>]

Is there a pretty printer for coq sources?
I would be especially interested in having a tool for indentation.

n-1 leading spaces for n open goals. This makes proof scripts easier to maintain.

Best,

Bas