Re: [O] Edit whole session with org-edit-src-edit

2017-10-10 Thread Nicolas Goaziou
Hello, "Yury G. Kudryashov" writes: > I propose the following feature: > > 1. When the temporary buffer is created, > >- the whole session (or all the code with that will go to one file > when tangling) is written to the buffer; >- all the code except for the

Re: [O] Edit whole session with org-edit-src-edit

2017-10-09 Thread urkud
Hello, On October 8, 2017 10:40:09 PM EDT, "Berry, Charles" wrote: > >> On Oct 8, 2017, at 3:58 PM, Yury G. Kudryashov >wrote: >> >> Hello, >> >> I want to use orgmode for literate programming with Coq. >> I like the "edit in major mode" org-edit-src-edit

Re: [O] Edit whole session with org-edit-src-edit

2017-10-08 Thread Berry, Charles
> On Oct 8, 2017, at 3:58 PM, Yury G. Kudryashov 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 >

[O] Edit whole session with org-edit-src-edit

2017-10-08 Thread Yury G. Kudryashov
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