The Coq mailing list

["N. Raghavendra" <raghu AT hri.res.in>]

Is there a command for removing just the comments from a Coqdoc file
such as the one at

http://www.cis.upenn.edu/~bcpierce/sf/Basics.v ?

I just want the Coq code from such a file.  I tried

gallina -nocomments ,

but it removes the proofs of theorems also.

Thanks and best regards,
Raghu.

-- 
N. Raghavendra 
<raghu AT hri.res.in>,
 http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/