Eric Schulte <schulte.e...@gmail.com> writes: > If you do end up writing any level of support for Coq code blocks please > consider contributing it to Org-mode.
Thanks a lot for these suggestions. I'll explore these options, and will report back when I get something working. Alan
