;ELC ;;; Compiled ;;; in Emacs version 28.0.50 ;;; with all optimizations. (byte-code "\300\301!\210\300\302!\207" [require tex latex] 2) #@41 Package options for the amsthm package. (defvar LaTeX-amsthm-package-options nil (#$ . 150)) #@59 List of font declaration commands for "\newtheoremstyle". (defvar LaTeX-amsthm-fontdecl '("rmfamily" "sffamily" "ttfamily" "mdseries" "bfseries" "upshape" "itshape" "slshape" "scshape" "tiny" "scriptsize" "footnotesize" "small" "normalsize" "large" "Large" "LARGE" "huge" "Huge" "normalfont") (#$ . 249)) #@203 Prompt for font declaration commands in "\newtheoremstyle". If OPTIONAL is non-nil, insert the resulting value as an optional argument. Use PROMPT as the prompt string. (fn OPTIONAL &optional PROMPT) (defalias 'LaTeX-arg-amsthm-fontdecl #[513 "\303!\304\305\306\307\310\311$\n\"#\312\205 \313\230?\205 #)\207" [TeX-esc crm-separator LaTeX-amsthm-fontdecl regexp-quote mapconcat identity TeX-completing-read-multiple TeX-argument-prompt "Font: \\" t TeX-argument-insert ""] 10 (#$ . 561)]) #@543 Insert ENVIRONMENT, query for an optional argument and prompt for label. AUCTeX users should add ENVIRONMENT to `LaTeX-label-alist' via customize or in init-file with: (add-to-list \='LaTeX-label-alist \='("lemma" . "lem:")) RefTeX users should customize or add ENVIRONMENT to `LaTeX-label-alist' and `reftex-label-alist', e.g. (add-to-list \='LaTeX-label-alist \='("lemma" . "lem:")) (add-to-list \='reftex-label-alist \='("lemma" ?m "lem:" "~\ref{%s}" nil ("Lemma" "lemma") nil)) (fn ENVIRONMENT) (defalias 'LaTeX-amsthm-env-label #[257 "\300\301\302\303\304#!\305\205\306\230?\205\307\310\"\"\266\311\312\"\205'\313 \210\314 \207" [TeX-read-string TeX-argument-prompt t nil "Heading" LaTeX-insert-environment "" format "[%s]" LaTeX-label environment LaTeX-newline indent-according-to-mode] 7 (#$ . 1071)]) #@95 Information about amsthm-newtheorems in the current buffer. Generated by `TeX-auto-add-type'. (defvar LaTeX-auto-amsthm-newtheorem nil (#$ . 1940)) #@95 Information about amsthm-newtheorems in the current buffer. Generated by `TeX-auto-add-type'. (defvar LaTeX-amsthm-newtheorem-list nil (#$ . 2094)) (make-variable-buffer-local 'LaTeX-amsthm-newtheorem-list) #@95 Information about amsthm-newtheorems in the current buffer. Generated by `TeX-auto-add-type'. (defvar LaTeX-amsthm-newtheorem-changed nil (#$ . 2307)) (make-variable-buffer-local 'LaTeX-amsthm-newtheorem-changed) #@130 Add information about AMSTHM-NEWTHEOREMS to the current buffer. Generated by `TeX-auto-add-type'. (fn &rest AMSTHM-NEWTHEOREMS) (defalias 'LaTeX-add-amsthm-newtheorems #[128 "\300\301\"\207" [TeX-auto-add-information "amsthm-newtheorem"] 4 (#$ . 2527)]) #@92 List of amsthm-newtheorems active in the current buffer. Generated by `TeX-auto-add-type'. (defalias 'LaTeX-amsthm-newtheorem-list #[0 "\300\301!\207" [TeX-auto-list-information "amsthm-newtheorem"] 2 (#$ . 2789)]) (byte-code "\300\301\302\303#\210\304\305\306\"\207" [add-to-list TeX-auto-parser ("amsthm-newtheorem" LaTeX-auto-amsthm-newtheorem LaTeX-add-amsthm-newtheorems LaTeX-amsthm-newtheorem-list LaTeX-amsthm-newtheorem-changed) t add-hook TeX-remove-style-hook #[0 "\301\211\207" [LaTeX-amsthm-newtheorem-list nil] 2]] 4) #@100 Information about amsthm-newtheoremstyles in the current buffer. Generated by `TeX-auto-add-type'. (defvar LaTeX-auto-amsthm-newtheoremstyle nil (#$ . 3329)) #@100 Information about amsthm-newtheoremstyles in the current buffer. Generated by `TeX-auto-add-type'. (defvar LaTeX-amsthm-newtheoremstyle-list nil (#$ . 3494)) (make-variable-buffer-local 'LaTeX-amsthm-newtheoremstyle-list) #@100 Information about amsthm-newtheoremstyles in the current buffer. Generated by `TeX-auto-add-type'. (defvar LaTeX-amsthm-newtheoremstyle-changed nil (#$ . 3723)) (make-variable-buffer-local 'LaTeX-amsthm-newtheoremstyle-changed) #@140 Add information about AMSTHM-NEWTHEOREMSTYLES to the current buffer. Generated by `TeX-auto-add-type'. (fn &rest AMSTHM-NEWTHEOREMSTYLES) (defalias 'LaTeX-add-amsthm-newtheoremstyles #[128 "\300\301\"\207" [TeX-auto-add-information "amsthm-newtheoremstyle"] 4 (#$ . 3958)]) #@97 List of amsthm-newtheoremstyles active in the current buffer. Generated by `TeX-auto-add-type'. (defalias 'LaTeX-amsthm-newtheoremstyle-list #[0 "\300\301!\207" [TeX-auto-list-information "amsthm-newtheoremstyle"] 2 (#$ . 4240)]) (byte-code "\300\301\302\303#\210\304\305\306\"\207" [add-to-list TeX-auto-parser ("amsthm-newtheoremstyle" LaTeX-auto-amsthm-newtheoremstyle LaTeX-add-amsthm-newtheoremstyles LaTeX-amsthm-newtheoremstyle-list LaTeX-amsthm-newtheoremstyle-changed) t add-hook TeX-remove-style-hook #[0 "\301\211\207" [LaTeX-amsthm-newtheoremstyle-list nil] 2]] 4) #@94 Clear `LaTeX-auto-amsthm-newtheorem' and `LaTeX-auto-amsthm-newtheoremstyle' before parsing. (defalias 'LaTeX-amsthm-auto-prepare #[0 "\302\211\211\207" [LaTeX-auto-amsthm-newtheorem LaTeX-auto-amsthm-newtheoremstyle nil] 3 (#$ . 4824)]) #@102 Move parsed results from `LaTeX-auto-amsthm-newtheorem' and make them available as new environments. (defalias 'LaTeX-amsthm-auto-cleanup #[0 "\300\301\302 \"\211\205\211@\303\304D!\210A\266\202\202\207" [mapcar car LaTeX-amsthm-newtheorem-list LaTeX-add-environments LaTeX-amsthm-env-label] 5 (#$ . 5071)]) (byte-code "\301\302\303\304#\210\301\305\306\304#\210\301\307\310\304#\210\311\312\313#\207" [TeX-dialect add-hook TeX-auto-prepare-hook LaTeX-amsthm-auto-prepare t TeX-auto-cleanup-hook LaTeX-amsthm-auto-cleanup TeX-update-style-hook TeX-auto-parse TeX-add-style-hook "amsthm" #[0 "\302\303\304\305#\210\306\307!\210\310\311\312\313\314\315\316&\210\317\320\321Q\322B!\210\317\323\321Q\324B!\210\325\326!\2056 \327=\2056\330\331\332\"\207" [TeX-token-char TeX-install-font-lock LaTeX-add-amsthm-newtheoremstyles "definition" "plain" "remark" LaTeX-add-environments ("proof" LaTeX-amsthm-env-label) TeX-add-symbols ("newtheorem" (TeX-arg-eval (lambda nil (let ((nthm (TeX-read-string (TeX-argument-prompt nil nil "Environment")))) (LaTeX-add-amsthm-newtheorems nthm) (LaTeX-add-environments (list nthm #'LaTeX-amsthm-env-label)) (format "%s" nthm)))) [TeX-arg-environment "Numbered like"] t [(TeX-arg-eval progn (if (eq (save-excursion (backward-char 2) (preceding-char)) 93) nil (TeX-arg-counter t "Within counter")) "")]) ("newtheorem*" (TeX-arg-eval (lambda nil (let ((nthm (TeX-read-string (TeX-argument-prompt nil nil "Environment"))) (heading (TeX-read-string (TeX-argument-prompt nil nil "Heading")))) (LaTeX-add-amsthm-newtheorems nthm) (LaTeX-add-environments (list nthm #'LaTeX-amsthm-env-label)) (insert (concat TeX-grop nthm TeX-grcl)) (format "%s" heading))))) ("theoremstyle" (TeX-arg-eval completing-read (TeX-argument-prompt nil nil "Style") (LaTeX-amsthm-newtheoremstyle-list))) "qedhere" "swapnumbers" ("newtheoremstyle" (TeX-arg-eval (lambda nil (let ((nthmstyle (TeX-read-string (TeX-argument-prompt nil nil "Style name")))) (LaTeX-add-amsthm-newtheoremstyles nthmstyle) (format "%s" nthmstyle)))) (TeX-arg-length "Space above") (TeX-arg-length "Space below") (LaTeX-arg-amsthm-fontdecl "Body font: \\") "Indent amount" (LaTeX-arg-amsthm-fontdecl "Theorem head font: \\") "Punctuation after head" (TeX-arg-length "Space after head") "Theorem head spec") TeX-auto-add-regexp "\\\\newtheorem\\*?{\\(" "+\\)}" (1 LaTeX-auto-amsthm-newtheorem) "\\\\newtheoremstyle{\\(" (1 LaTeX-auto-amsthm-newtheoremstyle) featurep font-latex font-latex-setup font-latex-add-keywords (("newtheorem" "*{[{[") ("theoremstyle" "{") ("newtheoremstyle" "{{{{{{{{{")) function] 7]] 4)