> On Oct 8, 2017, at 3:58 PM, Yury G. Kudryashov <ur...@urkud.name> wrote:
> Hello,
> I want to use orgmode for literate programming with Coq.
> I like the "edit in major mode" org-edit-src-edit feature, but it
> exports only the current src block to the temprorary buffer, so it's
> impossible to debug the file in the temporary buffer using coq-mode
> (proofgeneral) "phrase by phrase" execution.
> I think that some other languages may have similar problems. Say,
> code completion works better, if the whole file is available.

I used the babel jump facility proposed here:

From: Andrew Kirkpatrick <uberm...@gmail.com>
Subject: Jumping between source blocks in a file
Message-ID: <CAHo11d5aOTLAbR1gy9+9=h_zbgtrepg7hlfltduhuyybwgf...@mail.gmail.com>
Archived-At: <http://permalink.gmane.org/gmane.emacs.orgmode/103130>

It is not `all blocks in one buffer', but by jumping from one to the next I get 
much the same effect.  Any changes in a block get written back to the org 
buffer when you jump to the next block.  Binding the `*-next' function to 
meta-down and `*-previous' to `meta-up' makes navigation intuitive.



Reply via email to