;ELC   
;;; Compiled
;;; in Emacs version 26.3
;;; with all optimizations.

;;; This file uses dynamic docstrings, first added in Emacs 19.29.

;;; This file does not contain utf-8 non-ASCII characters,
;;; and so can be loaded in Emacs versions earlier than 23.

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;


(require 'ob)
#@34 Name of the coq toplevel to run.
(defvar coq-program-name "coqtop" (#$ . 422))
#@46 Buffer in which to evaluate coq code blocks.
(defvar org-babel-coq-buffer "*coq*" (#$ . 507))
#@15 

(fn STRING)
(defalias 'org-babel-coq-clean-prompt #[257 "\300\301\"\203 \211\302\211\224O\207\207" [string-match "^[^[:space:]]+ < " 0] 4 (#$ . 607)])
#@20 

(fn BODY PARAMS)
(defalias 'org-babel-execute:coq #[514 "\301\"\302 \303\304\305!\204 \306\307\"\210\310 \311\312\313\314\315!\316\"\317$\216rq\210\212\320 \321\322!r\211q\210\311\312\323\314\315!\324\"\325$\216c\210\326\327 ed#\210\330\327 dSd{\331\230\203X \332\202Y \333\"\210*\210\211 \232\203k \334\335!\210\202] \211 {\262,\262!\207" [comint-input-filter org-babel-expand-body:generic org-babel-coq-initiate-session #[0 "\300\301\302p!!!\207" [marker-position process-mark get-buffer-process] 4] org-babel-coq-clean-prompt org-babel-comint-buffer-livep error "Buffer %s does not exist or has no process" match-data make-byte-code 0 "\301\300\302\"\207" vconcat vector [set-match-data evaporate] 3 #[257 "\300\207" [nil] 2 "\n\n(fn INPUT)"] generate-new-buffer " *temp*" "\301\300!\205	 \302\300!\207" [buffer-name kill-buffer] 2 comint-send-region coq-proc comint-send-string "." "\n" ".\n" sleep-for 0.1] 15 (#$ . 768)])
#@136 Initiate a coq session.
If there is not a current inferior-process-buffer in SESSION then
create one.  Return the initialized session.
(defalias 'org-babel-coq-initiate-session #[0 "\302\303!\204\n \304\305!\210\306 \307\310\311\312\313!\314\"\315$\216\303!\210)\210\316\317!\210\320	!\207" [coq-program-name org-babel-coq-buffer fboundp run-coq error "`run-coq' not defined, load coq-inferior.el" current-window-configuration make-byte-code 0 "\301\300!\207" vconcat vector [set-window-configuration] 2 sit-for 0.1 get-buffer] 7 (#$ . 1721)])
(provide 'ob-coq)