[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: coq related error when exporting to latex.
From: |
Ihor Radchenko |
Subject: |
Re: coq related error when exporting to latex. |
Date: |
Thu, 05 May 2022 18:07:51 +0800 |
abdullah uyu <abdullahuyu@gmail.com> writes:
> i get the following error when i try to export to latex:
>
> org-babel-coq-initiate-session: ‘run-coq’ not defined, load
> coq-inferior.el
Most likely, ob-coq expects you to have coq major-mode installed. Note
that ob-coq is currently not maintained and might be outdated.
Best,
Ihor
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: coq related error when exporting to latex.,
Ihor Radchenko <=