The Coq mailing list

[Adam Chlipala <adam AT chlipala.net>]

I believe many people here are familiar with the textbook I'm working 
on, if for no other reason than that I link to it too often in messages 
on this list. ;)
    http://adam.chlipala.net/cpdt/

I've started considering options for traditional print publication, and 
I'm writing to coq-club primarily to gauge interest in that idea.  If 
anyone reading this would like to buy a hardcopy, I'd love to hear from 
you, including any suggestions or advice about changes to content, the 
publication process, etc..  Would anyone out there likely teach a class 
where CPDT would be one of the primary texts?  I'm especially interested 
in hearing from senior people who would be willing to put in a good word 
with potential publishers.  (I write "senior" because I expect 
publishers would be most swayed by opinions of well-established 
researchers.  I'm of course interested in maximizing the value of the 
book for all of the potential audience!)

Thanks!