;ELC
|
;;; Compiled
|
;;; in Emacs version 26.1
|
;;; 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$\216c\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)
|
