> 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. HTH, Chuck
