The Coq mailing list

[Daniel Schepler <dschepler AT gmail.com>]

I just recently discovered the coq-tex tool.  (Thanks to Victor for inducing 
me to browse through that section of the Coq manual!)  So I reworked my 
current state to use the tool instead of pasting in responses manually.  
Updated version at
http://people.debian.org/~schepler/coqtut.v.pdf
and hevea generated HTML at
http://people.debian.org/~schepler/coqtut.v.html
-- 
Daniel Schepler