abdullah uyu 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.
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
i've searched for the error on the internet, found out that the file
"coq-inferior.el" exists:
https://github.com/maximedenes/native-coq/blob/master/tools/coq-i
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
i've searched for the error on the internet, found out that the file
"coq-inferior.el" exists:
https://github.com/maximedenes/native-coq/blob/master/tools/coq-infe
