Aurora
Adminer
Auto Root
WP Admin
cPanel Reset
Anti Backdoor
Root
usr
share
emacs
27.2
lisp
org
Upload
New Folder
New File
Name
Size
Permissions
Actions
..
-
-
-
Upload File
Select File
New Folder
Folder Name
New File
File Name
Add WordPress Admin
Database Host
Database Name
Database User
Database Password
Admin Username
Admin Password
cPanel Password Reset
Email Address
Edit: ob-coq.elc
;ELC ;;; Compiled ;;; in Emacs version 27.2 ;;; 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 \302\303\211\224#\207\207" [string-match "^[^[:space:]]+ < " substring 0] 5 (#$ . 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 (#$ . 779)]) #@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 (#$ . 1732)]) (provide 'ob-coq)