|
From: | Alan Schmitt |
Subject: | Re: [O] Literate programming of interactive proofs? |
Date: | Tue, 20 Nov 2012 08:42:40 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/24.2 (darwin) |
Eric Schulte <address@hidden> 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
[Prev in Thread] | Current Thread | [Next in Thread] |