Linux iad1-shared-b7-18 6.6.49-grsec-jammy+ #10 SMP Thu Sep 12 23:23:08 UTC 2024 x86_64
Apache
: 67.205.6.31 | : 216.73.216.20
Cant Read [ /etc/named.conf ]
8.2.29
fernandoquevedo
Terminal
AUTO ROOT
Adminer
Backdoor Destroyer
Linux Exploit
Lock Shell
Lock File
Create User
CREATE RDP
PHP Mailer
BACKCONNECT
UNLOCK SHELL
HASH IDENTIFIER
README
+ Create Folder
+ Create File
/
usr /
share /
emacs /
27.1 /
lisp /
org /
[ HOME SHELL ]
Name
Size
Permission
Action
ob-C.elc
13.79
KB
-rw-r--r--
ob-J.elc
5.38
KB
-rw-r--r--
ob-R.elc
15.77
KB
-rw-r--r--
ob-abc.elc
2.38
KB
-rw-r--r--
ob-asymptote.elc
3.67
KB
-rw-r--r--
ob-awk.elc
3.08
KB
-rw-r--r--
ob-calc.elc
2.34
KB
-rw-r--r--
ob-clojure.elc
7.16
KB
-rw-r--r--
ob-comint.elc
5.14
KB
-rw-r--r--
ob-coq.elc
2.24
KB
-rw-r--r--
ob-core.elc
99.63
KB
-rw-r--r--
ob-css.elc
888
B
-rw-r--r--
ob-ditaa.elc
3.02
KB
-rw-r--r--
ob-dot.elc
2.07
KB
-rw-r--r--
ob-ebnf.elc
1.42
KB
-rw-r--r--
ob-emacs-lisp.elc
3.22
KB
-rw-r--r--
ob-eshell.elc
3.05
KB
-rw-r--r--
ob-eval.elc
3.27
KB
-rw-r--r--
ob-exp.elc
10.81
KB
-rw-r--r--
ob-forth.elc
1.98
KB
-rw-r--r--
ob-fortran.elc
5.24
KB
-rw-r--r--
ob-gnuplot.elc
8.39
KB
-rw-r--r--
ob-groovy.elc
3.68
KB
-rw-r--r--
ob-haskell.elc
8.02
KB
-rw-r--r--
ob-hledger.elc
1.8
KB
-rw-r--r--
ob-io.elc
3.2
KB
-rw-r--r--
ob-java.elc
2.66
KB
-rw-r--r--
ob-js.elc
6.66
KB
-rw-r--r--
ob-latex.elc
6.12
KB
-rw-r--r--
ob-ledger.elc
1.71
KB
-rw-r--r--
ob-lilypond.elc
14
KB
-rw-r--r--
ob-lisp.elc
3.62
KB
-rw-r--r--
ob-lob.elc
4.97
KB
-rw-r--r--
ob-lua.elc
12.95
KB
-rw-r--r--
ob-makefile.elc
920
B
-rw-r--r--
ob-matlab.elc
500
B
-rw-r--r--
ob-maxima.elc
3.73
KB
-rw-r--r--
ob-mscgen.elc
1.32
KB
-rw-r--r--
ob-ocaml.elc
5.59
KB
-rw-r--r--
ob-octave.elc
9.69
KB
-rw-r--r--
ob-org.elc
1.67
KB
-rw-r--r--
ob-perl.elc
4.54
KB
-rw-r--r--
ob-picolisp.elc
4.53
KB
-rw-r--r--
ob-plantuml.elc
3.87
KB
-rw-r--r--
ob-processing.elc
4.58
KB
-rw-r--r--
ob-python.elc
13.04
KB
-rw-r--r--
ob-ref.elc
5.89
KB
-rw-r--r--
ob-ruby.elc
9.6
KB
-rw-r--r--
ob-sass.elc
1.5
KB
-rw-r--r--
ob-scheme.elc
6.45
KB
-rw-r--r--
ob-screen.elc
4.21
KB
-rw-r--r--
ob-sed.elc
2.7
KB
-rw-r--r--
ob-shell.elc
10.78
KB
-rw-r--r--
ob-shen.elc
1.95
KB
-rw-r--r--
ob-sql.elc
9.82
KB
-rw-r--r--
ob-sqlite.elc
4.46
KB
-rw-r--r--
ob-stan.elc
2.25
KB
-rw-r--r--
ob-table.elc
3.34
KB
-rw-r--r--
ob-tangle.elc
17.72
KB
-rw-r--r--
ob-vala.elc
3.04
KB
-rw-r--r--
ob.elc
692
B
-rw-r--r--
ol-bbdb.elc
12.23
KB
-rw-r--r--
ol-bibtex.elc
25.55
KB
-rw-r--r--
ol-docview.elc
2.05
KB
-rw-r--r--
ol-eshell.elc
1.51
KB
-rw-r--r--
ol-eww.elc
3.12
KB
-rw-r--r--
ol-gnus.elc
8.1
KB
-rw-r--r--
ol-info.elc
4.25
KB
-rw-r--r--
ol-irc.elc
5.87
KB
-rw-r--r--
ol-mhe.elc
5.32
KB
-rw-r--r--
ol-rmail.elc
2.61
KB
-rw-r--r--
ol-w3m.elc
3.82
KB
-rw-r--r--
ol.elc
55.84
KB
-rw-r--r--
org-agenda.elc
372.33
KB
-rw-r--r--
org-archive.elc
17.32
KB
-rw-r--r--
org-attach-git.elc
3.66
KB
-rw-r--r--
org-attach.elc
26.55
KB
-rw-r--r--
org-capture.elc
59.36
KB
-rw-r--r--
org-clock.elc
90.95
KB
-rw-r--r--
org-colview.elc
54.76
KB
-rw-r--r--
org-compat.elc
40.97
KB
-rw-r--r--
org-crypt.elc
6.43
KB
-rw-r--r--
org-ctags.elc
11.83
KB
-rw-r--r--
org-datetree.elc
7.31
KB
-rw-r--r--
org-duration.elc
11.6
KB
-rw-r--r--
org-element.elc
170.82
KB
-rw-r--r--
org-entities.elc
26.73
KB
-rw-r--r--
org-faces.elc
23.64
KB
-rw-r--r--
org-feed.elc
19.26
KB
-rw-r--r--
org-footnote.elc
28.36
KB
-rw-r--r--
org-goto.elc
9.24
KB
-rw-r--r--
org-habit.elc
13.51
KB
-rw-r--r--
org-id.elc
21.1
KB
-rw-r--r--
org-indent.elc
14.93
KB
-rw-r--r--
org-inlinetask.elc
8.61
KB
-rw-r--r--
org-install.el
452
B
-rw-r--r--
org-keys.elc
26.5
KB
-rw-r--r--
org-lint.elc
51.54
KB
-rw-r--r--
org-list.elc
88.99
KB
-rw-r--r--
org-loaddefs.el
89.89
KB
-rw-r--r--
org-macro.elc
11.38
KB
-rw-r--r--
org-macs.elc
38.95
KB
-rw-r--r--
org-mobile.elc
36.19
KB
-rw-r--r--
org-mouse.elc
31.71
KB
-rw-r--r--
org-num.elc
12.9
KB
-rw-r--r--
org-pcomplete.elc
12.56
KB
-rw-r--r--
org-plot.elc
9.87
KB
-rw-r--r--
org-protocol.elc
20.19
KB
-rw-r--r--
org-src.elc
38.07
KB
-rw-r--r--
org-table.elc
199.12
KB
-rw-r--r--
org-tempo.elc
4.92
KB
-rw-r--r--
org-timer.elc
14.02
KB
-rw-r--r--
org-version.el
587
B
-rw-r--r--
org.elc
700.45
KB
-rw-r--r--
ox-ascii.elc
66.43
KB
-rw-r--r--
ox-beamer.elc
34.81
KB
-rw-r--r--
ox-html.elc
129.5
KB
-rw-r--r--
ox-icalendar.elc
37.05
KB
-rw-r--r--
ox-latex.elc
116.71
KB
-rw-r--r--
ox-man.elc
31.11
KB
-rw-r--r--
ox-md.elc
23.26
KB
-rw-r--r--
ox-odt.elc
131.63
KB
-rw-r--r--
ox-org.elc
12.35
KB
-rw-r--r--
ox-publish.elc
49.05
KB
-rw-r--r--
ox-texinfo.elc
56.87
KB
-rw-r--r--
ox.elc
238.18
KB
-rw-r--r--
Delete
Unzip
Zip
${this.title}
Close
Code Editor : ob-coq.elc
;ELC ;;; Compiled ;;; in Emacs version 27.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 \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)
Close