ndwarshuis
/
org-mode
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ob-coq.el: Declare external functions

This commit is contained in:
Bastien Guerry 2014-03-05 15:38:48 +01:00
parent 51718d9674
commit c9e6a07cdf
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lisp/ob-coq.el
View File

@ -32,6 +32,9 @@
;;; Code: ;;; Code:
(require 'ob) (require 'ob)
(declare-function run-coq "ext:coq-inferior.el" (cmd))
(declare-function coq-proc "ext:coq-inferior.el" ())
(defvar org-babel-coq-buffer "*coq*" (defvar org-babel-coq-buffer "*coq*"
"Buffer in which to evaluate coq code blocks.") "Buffer in which to evaluate coq code blocks.")