;ELC   
;;; Compiled
;;; in Emacs version 28.0.50
;;; with all optimizations.


(byte-code "\300\301!\210\300\302!\207" [require tex latex] 2)
#@105 Information about thmrestate-restatable-macros in the current buffer.
Generated by `TeX-auto-add-type'.
(defvar LaTeX-auto-thmrestate-restatable-macro nil (#$ . 151))
#@105 Information about thmrestate-restatable-macros in the current buffer.
Generated by `TeX-auto-add-type'.
(defvar LaTeX-thmrestate-restatable-macro-list nil (#$ . 325))
(make-variable-buffer-local 'LaTeX-thmrestate-restatable-macro-list)
#@105 Information about thmrestate-restatable-macros in the current buffer.
Generated by `TeX-auto-add-type'.
(defvar LaTeX-thmrestate-restatable-macro-changed nil (#$ . 568))
(make-variable-buffer-local 'LaTeX-thmrestate-restatable-macro-changed)
#@150 Add information about THMRESTATE-RESTATABLE-MACROS to the current buffer.
Generated by `TeX-auto-add-type'.

(fn &rest THMRESTATE-RESTATABLE-MACROS)
(defalias 'LaTeX-add-thmrestate-restatable-macros #[128 "\300\301\"\207" [TeX-auto-add-information "thmrestate-restatable-macro"] 4 (#$ . 817)])
#@102 List of thmrestate-restatable-macros active in the current buffer.
Generated by `TeX-auto-add-type'.
(defalias 'LaTeX-thmrestate-restatable-macro-list #[0 "\300\301!\207" [TeX-auto-list-information "thmrestate-restatable-macro"] 2 (#$ . 1119)])
(byte-code "\300\301\302\303#\210\304\305\306\"\207" [add-to-list TeX-auto-parser ("thmrestate-restatable-macro" LaTeX-auto-thmrestate-restatable-macro LaTeX-add-thmrestate-restatable-macros LaTeX-thmrestate-restatable-macro-list LaTeX-thmrestate-restatable-macro-changed) t add-hook TeX-remove-style-hook #[0 "\301\211\207" [LaTeX-thmrestate-restatable-macro-list nil] 2]] 4)
(defvar LaTeX-thmrestate-restatable-marco-regexp (cons "\\\\begin{restatable}[ 	\n%]*\\(?:\\[[^]]*\\]\\)?[ 	\n%]*\\(?:{[^}]+}\\)[ 	\n%]*{\\([^}]+\\)}" '(1 LaTeX-auto-thmrestate-restatable-macro)))
#@64 Clear `LaTeX-auto-thmrestate-restatable-macro' before parsing.
(defalias 'LaTeX-thmrestate-auto-prepare #[0 "\301\211\207" [LaTeX-auto-thmrestate-restatable-macro nil] 2 (#$ . 1948)])
#@51 Process parsed elements from thm-restate package.
(defalias 'LaTeX-thmrestate-auto-cleanup #[0 "\300\301\302 \"\211\205 \211@\303\304B\305P\306B\"\210A\266\202\202 \207" [mapcar car LaTeX-thmrestate-restatable-macro-list TeX-add-symbols (0) "*" (0)] 6 (#$ . 2139)])
(byte-code "\300\301\302\303#\210\300\304\305\303#\210\300\306\307\303#\207" [add-hook TeX-auto-prepare-hook LaTeX-thmrestate-auto-prepare t TeX-auto-cleanup-hook LaTeX-thmrestate-auto-cleanup TeX-update-style-hook TeX-auto-parse] 4)
#@86 Insert arguments for restatable environment from thm-restate package.

(fn OPTIONAL)
(defalias 'LaTeX-env-thmrestate-restatable #[257 "	\304\305\306\307\310\311#!\307\"\210*\304\312\306\310\313#\314\315\316!\205% \316 \205% \316 \315\317!\2052 \317 \2052 \317 \320 #\"\"\210\305\306\310\321#!\322\323B\324P\325B\"\210\304\"\207" [LaTeX-optop LaTeX-optcl TeX-arg-closing-brace TeX-arg-opening-brace TeX-argument-insert TeX-read-string TeX-argument-prompt t nil "Heading" completing-read "Environment" append fboundp LaTeX-amsthm-newtheorem-list LaTeX-ntheorem-newtheorem-list LaTeX-thmtools-declaretheorem-list "Macro" TeX-add-symbols (0) "*" (0)] 8 (#$ . 2650)])
(TeX-add-style-hook "thm-restate" #[0 "\301\302!\210\303!\210\304\305\306\"\207" [LaTeX-thmrestate-restatable-marco-regexp TeX-run-style-hooks "thmtools" TeX-auto-add-regexp LaTeX-add-environments ("restatable" LaTeX-env-args LaTeX-env-thmrestate-restatable) ("restatable*" LaTeX-env-args LaTeX-env-thmrestate-restatable)] 3] TeX-dialect)