I have tried to contact the coq and emacs-common-proofgeneral package
maintainers directly, but have not had much luck. If any of those
maintainers can shoot me an email, that would be great.
Thanks,
Ben
--
Benjamin R Kreuter
UVA Computer Science
brk7bx(a)virginia.edu
KK4FJZ
--
"If large numbers of people are interested in freedom of speech, there
will be freedom of speech, even if the law forbids it; if public
opinion is sluggish, inconvenient minorities will be persecuted, even
if laws exist to protect them." - George Orwell