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 current block is marked
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 feature, but it
>> exports only the cu
> 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
> impossible to debug the fi
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 phras
