The Coq mailing list

[Benjamin Pierce <bcpierce AT cis.upenn.edu>]

I've been trying to get use coqdoc to make a nice HTML version of my  
under-construction lecture notes for teaching PL using Coq, but I'm  
stuck on one serious deficiency: there seems to be no way to get it to  
keep ordinary comments -- in particular, comments within proofs.  I've  
had a little look inside the code, but I'm afraid I can't understand  
how it works well enough to see whether this would be easy or hard to  
change.  Can anyone comment on this?

Thanks,

    - Benjamin