mirror of https://github.com/Chizi123/.emacs.d.git

Chizi123
2018-11-21 e75a20334813452c6912c090d70a0de2c805f94d
commit | author | age
76bbd0 1 ;ELC
C 2 ;;; Compiled
3 ;;; in Emacs version 26.1
4 ;;; with all optimizations.
5
6 ;;; This file uses dynamic docstrings, first added in Emacs 19.29.
7
8 ;;; This file does not contain utf-8 non-ASCII characters,
9 ;;; and so can be loaded in Emacs versions earlier than 23.
10
11 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
12 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
13
14
15 (require 'ob)
16 #@34 Name of the coq toplevel to run.
17 (defvar coq-program-name "coqtop" (#$ . 422))
18 #@46 Buffer in which to evaluate coq code blocks.
19 (defvar org-babel-coq-buffer "*coq*" (#$ . 507))
20 #@15 
21
22 (fn STRING)
23 (defalias 'org-babel-coq-clean-prompt #[257 "\300\301\"\203 \211\302\211\224O\207\207" [string-match "^[^[:space:]]+ < " 0] 4 (#$ . 607)])
24 #@20 
25
26 (fn BODY PARAMS)
27 (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)])
28 #@136 Initiate a coq session.
29 If there is not a current inferior-process-buffer in SESSION then
30 create one.  Return the initialized session.
31 (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)])
32 (provide 'ob-coq)