ofs | hex dump | ascii |
---|
0000 | 3b 45 4c 43 1c 00 00 00 0a 3b 3b 3b 20 43 6f 6d 70 69 6c 65 64 0a 3b 3b 3b 20 69 6e 20 45 6d 61 | ;ELC.....;;;.Compiled.;;;.in.Ema |
0020 | 63 73 20 76 65 72 73 69 6f 6e 20 32 38 2e 31 0a 3b 3b 3b 20 77 69 74 68 20 61 6c 6c 20 6f 70 74 | cs.version.28.1.;;;.with.all.opt |
0040 | 69 6d 69 7a 61 74 69 6f 6e 73 2e 0a 0a 0a 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c | imizations.....(byte-code."\300\ |
0060 | 33 30 31 21 5c 32 31 30 5c 33 30 30 5c 33 30 32 21 5c 32 30 37 22 20 5b 72 65 71 75 69 72 65 20 | 301!\210\300\302!\207".[require. |
0080 | 74 65 78 20 6c 61 74 65 78 5d 20 32 29 0a 23 40 31 30 36 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 | tex.latex].2).#@106.Information. |
00a0 | 61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 | about.thmtools-declaretheoremsty |
00c0 | 6c 65 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 | les.in.the.current.buffer..Gener |
00e0 | 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 | ated.by.`TeX-auto-add-type'...(d |
0100 | 65 66 76 61 72 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 | efvar.LaTeX-auto-thmtools-declar |
0120 | 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 6e 69 6c 20 28 23 24 20 2e 20 31 34 38 29 29 0a 23 40 | etheoremstyle.nil.(#$...148)).#@ |
0140 | 31 30 36 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 | 106.Information.about.thmtools-d |
0160 | 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 | eclaretheoremstyles.in.the.curre |
0180 | 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 | nt.buffer..Generated.by.`TeX-aut |
01a0 | 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 | o-add-type'...(defvar.LaTeX-thmt |
01c0 | 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 6e 69 | ools-declaretheoremstyle-list.ni |
01e0 | 6c 20 28 23 24 20 2e 20 33 32 34 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62 75 66 | l.(#$...324)).(make-variable-buf |
0200 | 66 65 72 2d 6c 6f 63 61 6c 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 | fer-local.'LaTeX-thmtools-declar |
0220 | 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 29 0a 23 40 31 30 36 20 49 6e 66 6f 72 6d | etheoremstyle-list).#@106.Inform |
0240 | 61 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f | ation.about.thmtools-declaretheo |
0260 | 72 65 6d 73 74 79 6c 65 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e | remstyles.in.the.current.buffer. |
0280 | 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 | .Generated.by.`TeX-auto-add-type |
02a0 | 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 | '...(defvar.LaTeX-thmtools-decla |
02c0 | 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 63 68 61 6e 67 65 64 20 6e 69 6c 20 28 23 24 20 2e | retheoremstyle-changed.nil.(#$.. |
02e0 | 20 35 37 30 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62 75 66 66 65 72 2d 6c 6f 63 | .570)).(make-variable-buffer-loc |
0300 | 61 6c 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 | al.'LaTeX-thmtools-declaretheore |
0320 | 6d 73 74 79 6c 65 2d 63 68 61 6e 67 65 64 29 0a 23 40 31 35 32 20 41 64 64 20 69 6e 66 6f 72 6d | mstyle-changed).#@152.Add.inform |
0340 | 61 74 69 6f 6e 20 61 62 6f 75 74 20 54 48 4d 54 4f 4f 4c 53 2d 44 45 43 4c 41 52 45 54 48 45 4f | ation.about.THMTOOLS-DECLARETHEO |
0360 | 52 45 4d 53 54 59 4c 45 53 20 74 6f 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e | REMSTYLES.to.the.current.buffer. |
0380 | 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 | .Generated.by.`TeX-auto-add-type |
03a0 | 27 2e 0a 0a 28 66 6e 20 26 72 65 73 74 20 54 48 4d 54 4f 4f 4c 53 2d 44 45 43 4c 41 52 45 54 48 | '...(fn.&rest.THMTOOLS-DECLARETH |
03c0 | 45 4f 52 45 4d 53 54 59 4c 45 53 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 | EOREMSTYLES)..(defalias.'LaTeX-a |
03e0 | 64 64 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 | dd-thmtools-declaretheoremstyles |
0400 | 20 23 5b 31 32 38 20 22 5c 33 30 30 5c 33 30 31 02 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 61 75 | .#[128."\300\301.\"\207".[TeX-au |
0420 | 74 6f 2d 61 64 64 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 | to-add-information."thmtools-dec |
0440 | 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 5d 20 34 20 28 23 24 20 2e 20 38 32 32 29 5d | laretheoremstyle"].4.(#$...822)] |
0460 | 29 0a 23 40 31 30 33 20 4c 69 73 74 20 6f 66 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 | ).#@103.List.of.thmtools-declare |
0480 | 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 20 61 63 74 69 76 65 20 69 6e 20 74 68 65 20 63 75 72 72 | theoremstyles.active.in.the.curr |
04a0 | 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 | ent.buffer..Generated.by.`TeX-au |
04c0 | 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d | to-add-type'...(defalias.'LaTeX- |
04e0 | 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 | thmtools-declaretheoremstyle-lis |
0500 | 74 20 23 5b 30 20 22 5c 33 30 30 5c 33 30 31 21 5c 32 30 37 22 20 5b 54 65 58 2d 61 75 74 6f 2d | t.#[0."\300\301!\207".[TeX-auto- |
0520 | 6c 69 73 74 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 | list-information."thmtools-decla |
0540 | 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 5d 20 32 20 28 23 24 20 2e 20 31 31 32 38 29 5d 29 | retheoremstyle"].2.(#$...1128)]) |
0560 | 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 5c 33 30 33 23 5c 32 | .(byte-code."\300\301\302\303#\2 |
0580 | 31 30 5c 33 30 34 5c 33 30 35 5c 33 30 36 5c 22 5c 32 30 37 22 20 5b 61 64 64 2d 74 6f 2d 6c 69 | 10\304\305\306\"\207".[add-to-li |
05a0 | 73 74 20 54 65 58 2d 61 75 74 6f 2d 70 61 72 73 65 72 20 28 22 74 68 6d 74 6f 6f 6c 73 2d 64 65 | st.TeX-auto-parser.("thmtools-de |
05c0 | 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 | claretheoremstyle".LaTeX-auto-th |
05e0 | 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 4c 61 54 65 58 | mtools-declaretheoremstyle.LaTeX |
0600 | 2d 61 64 64 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c | -add-thmtools-declaretheoremstyl |
0620 | 65 73 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d | es.LaTeX-thmtools-declaretheorem |
0640 | 73 74 79 6c 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 | style-list.LaTeX-thmtools-declar |
0660 | 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 63 68 61 6e 67 65 64 29 20 74 20 61 64 64 2d 68 6f 6f | etheoremstyle-changed).t.add-hoo |
0680 | 6b 20 54 65 58 2d 72 65 6d 6f 76 65 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 23 5b 30 20 22 5c 33 30 | k.TeX-remove-style-hook.#[0."\30 |
06a0 | 31 5c 32 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c | 1\211.\207".[LaTeX-thmtools-decl |
06c0 | 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 6e 69 6c 5d 20 32 5d 5d 20 34 29 | aretheoremstyle-list.nil].2]].4) |
06e0 | 0a 23 40 36 39 20 4d 61 74 63 68 65 73 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 6f 66 20 5c 64 | .#@69.Matches.the.argument.of.\d |
0700 | 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 66 72 6f 6d 20 74 68 6d 74 6f 6f 6c 73 | eclaretheoremstyle.from.thmtools |
0720 | 20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c | .package...(defvar.LaTeX-thmtool |
0740 | 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 72 65 67 65 78 70 20 28 62 79 | s-declaretheoremstyle-regexp.(by |
0760 | 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 21 5c 33 30 33 51 5c 33 30 34 42 | te-code."\300\301\302!\303Q\304B |
0780 | 5c 32 30 37 22 20 5b 22 5c 5c 5c 5c 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 5b | \207".["\\\\declaretheoremstyle[ |
07a0 | 20 09 5c 6e 0d 25 5d 2a 5c 5c 28 3f 3a 22 20 4c 61 54 65 58 2d 65 78 74 72 61 63 74 2d 6b 65 79 | ..\n.%]*\\(?:".LaTeX-extract-key |
07c0 | 2d 76 61 6c 75 65 2d 6c 61 62 65 6c 20 6e 6f 6e 65 20 22 5c 5c 29 3f 5b 20 09 5c 6e 0d 25 5d 2a | -value-label.none."\\)?[..\n.%]* |
07e0 | 7b 5c 5c 28 5b 5e 7d 5d 2b 5c 5c 29 7d 22 20 28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d | {\\([^}]+\\)}".(1.LaTeX-auto-thm |
0800 | 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 29 5d 20 33 29 20 28 | tools-declaretheoremstyle)].3).( |
0820 | 23 24 20 2e 20 31 37 36 36 29 29 0a 23 40 31 30 31 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 | #$...1766)).#@101.Information.ab |
0840 | 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 20 69 6e 20 | out.thmtools-declaretheorems.in. |
0860 | 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 | the.current.buffer..Generated.by |
0880 | 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c | .`TeX-auto-add-type'...(defvar.L |
08a0 | 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 | aTeX-auto-thmtools-declaretheore |
08c0 | 6d 20 6e 69 6c 20 28 23 24 20 2e 20 32 30 39 38 29 29 0a 23 40 31 30 31 20 49 6e 66 6f 72 6d 61 | m.nil.(#$...2098)).#@101.Informa |
08e0 | 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 | tion.about.thmtools-declaretheor |
0900 | 65 6d 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 | ems.in.the.current.buffer..Gener |
0920 | 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 | ated.by.`TeX-auto-add-type'...(d |
0940 | 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f | efvar.LaTeX-thmtools-declaretheo |
0960 | 72 65 6d 2d 6c 69 73 74 20 6e 69 6c 20 28 23 24 20 2e 20 32 32 36 35 29 29 0a 28 6d 61 6b 65 2d | rem-list.nil.(#$...2265)).(make- |
0980 | 76 61 72 69 61 62 6c 65 2d 62 75 66 66 65 72 2d 6c 6f 63 61 6c 20 27 4c 61 54 65 58 2d 74 68 6d | variable-buffer-local.'LaTeX-thm |
09a0 | 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 0a 23 40 31 30 31 | tools-declaretheorem-list).#@101 |
09c0 | 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c | .Information.about.thmtools-decl |
09e0 | 61 72 65 74 68 65 6f 72 65 6d 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 | aretheorems.in.the.current.buffe |
0a00 | 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 | r..Generated.by.`TeX-auto-add-ty |
0a20 | 70 65 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 | pe'...(defvar.LaTeX-thmtools-dec |
0a40 | 6c 61 72 65 74 68 65 6f 72 65 6d 2d 63 68 61 6e 67 65 64 20 6e 69 6c 20 28 23 24 20 2e 20 32 34 | laretheorem-changed.nil.(#$...24 |
0a60 | 39 37 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62 75 66 66 65 72 2d 6c 6f 63 61 6c | 97)).(make-variable-buffer-local |
0a80 | 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d | .'LaTeX-thmtools-declaretheorem- |
0aa0 | 63 68 61 6e 67 65 64 29 0a 23 40 31 34 32 20 41 64 64 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 | changed).#@142.Add.information.a |
0ac0 | 62 6f 75 74 20 54 48 4d 54 4f 4f 4c 53 2d 44 45 43 4c 41 52 45 54 48 45 4f 52 45 4d 53 20 74 6f | bout.THMTOOLS-DECLARETHEOREMS.to |
0ae0 | 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 | .the.current.buffer..Generated.b |
0b00 | 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 0a 0a 28 66 6e 20 26 72 65 73 | y.`TeX-auto-add-type'...(fn.&res |
0b20 | 74 20 54 48 4d 54 4f 4f 4c 53 2d 44 45 43 4c 41 52 45 54 48 45 4f 52 45 4d 53 29 1f 0a 28 64 65 | t.THMTOOLS-DECLARETHEOREMS)..(de |
0b40 | 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 64 64 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 | falias.'LaTeX-add-thmtools-decla |
0b60 | 72 65 74 68 65 6f 72 65 6d 73 20 23 5b 31 32 38 20 22 5c 33 30 30 5c 33 30 31 02 5c 22 5c 32 30 | retheorems.#[128."\300\301.\"\20 |
0b80 | 37 22 20 5b 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 74 68 | 7".[TeX-auto-add-information."th |
0ba0 | 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 22 5d 20 34 20 28 23 24 20 2e 20 | mtools-declaretheorem"].4.(#$... |
0bc0 | 32 37 33 35 29 5d 29 0a 23 40 39 38 20 4c 69 73 74 20 6f 66 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 | 2735)]).#@98.List.of.thmtools-de |
0be0 | 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 20 61 63 74 69 76 65 20 69 6e 20 74 68 65 20 63 75 72 72 | claretheorems.active.in.the.curr |
0c00 | 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 | ent.buffer..Generated.by.`TeX-au |
0c20 | 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d | to-add-type'...(defalias.'LaTeX- |
0c40 | 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 23 5b 30 | thmtools-declaretheorem-list.#[0 |
0c60 | 20 22 5c 33 30 30 5c 33 30 31 21 5c 32 30 37 22 20 5b 54 65 58 2d 61 75 74 6f 2d 6c 69 73 74 2d | ."\300\301!\207".[TeX-auto-list- |
0c80 | 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 | information."thmtools-declarethe |
0ca0 | 6f 72 65 6d 22 5d 20 32 20 28 23 24 20 2e 20 33 30 32 31 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64 | orem"].2.(#$...3021)]).(byte-cod |
0cc0 | 65 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 5c 33 30 33 23 5c 32 31 30 5c 33 30 34 5c 33 30 35 | e."\300\301\302\303#\210\304\305 |
0ce0 | 5c 33 30 36 5c 22 5c 32 30 37 22 20 5b 61 64 64 2d 74 6f 2d 6c 69 73 74 20 54 65 58 2d 61 75 74 | \306\"\207".[add-to-list.TeX-aut |
0d00 | 6f 2d 70 61 72 73 65 72 20 28 22 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 | o-parser.("thmtools-declaretheor |
0d20 | 65 6d 22 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 | em".LaTeX-auto-thmtools-declaret |
0d40 | 68 65 6f 72 65 6d 20 4c 61 54 65 58 2d 61 64 64 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 | heorem.LaTeX-add-thmtools-declar |
0d60 | 65 74 68 65 6f 72 65 6d 73 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 | etheorems.LaTeX-thmtools-declare |
0d80 | 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c | theorem-list.LaTeX-thmtools-decl |
0da0 | 61 72 65 74 68 65 6f 72 65 6d 2d 63 68 61 6e 67 65 64 29 20 74 20 61 64 64 2d 68 6f 6f 6b 20 54 | aretheorem-changed).t.add-hook.T |
0dc0 | 65 58 2d 72 65 6d 6f 76 65 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 23 5b 30 20 22 5c 33 30 31 5c 32 | eX-remove-style-hook.#[0."\301\2 |
0de0 | 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 | 11.\207".[LaTeX-thmtools-declare |
0e00 | 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 6e 69 6c 5d 20 32 5d 5d 20 34 29 0a 23 40 36 34 20 4d 61 | theorem-list.nil].2]].4).#@64.Ma |
0e20 | 74 63 68 65 73 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 6f 66 20 5c 64 65 63 6c 61 72 65 74 68 | tches.the.argument.of.\declareth |
0e40 | 65 6f 72 65 6d 20 66 72 6f 6d 20 74 68 6d 74 6f 6f 6c 73 20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 | eorem.from.thmtools.package...(d |
0e60 | 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f | efvar.LaTeX-thmtools-declaretheo |
0e80 | 72 65 6d 2d 72 65 67 65 78 70 20 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c 33 30 31 5c | rem-regexp.(byte-code."\300\301\ |
0ea0 | 33 30 32 21 5c 33 30 33 51 5c 33 30 34 42 5c 32 30 37 22 20 5b 22 5c 5c 5c 5c 64 65 63 6c 61 72 | 302!\303Q\304B\207".["\\\\declar |
0ec0 | 65 74 68 65 6f 72 65 6d 5b 20 09 5c 6e 0d 25 5d 2a 5c 5c 28 3f 3a 22 20 4c 61 54 65 58 2d 65 78 | etheorem[..\n.%]*\\(?:".LaTeX-ex |
0ee0 | 74 72 61 63 74 2d 6b 65 79 2d 76 61 6c 75 65 2d 6c 61 62 65 6c 20 6e 6f 6e 65 20 22 5c 5c 29 3f | tract-key-value-label.none."\\)? |
0f00 | 5b 20 09 5c 6e 0d 25 5d 2a 7b 5c 5c 28 5b 5e 7d 5d 2b 5c 5c 29 7d 22 20 28 31 20 4c 61 54 65 58 | [..\n.%]*{\\([^}]+\\)}".(1.LaTeX |
0f20 | 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 29 5d 20 | -auto-thmtools-declaretheorem)]. |
0f40 | 33 29 20 28 23 24 20 2e 20 33 36 31 34 29 29 0a 23 40 34 37 20 43 6c 65 61 72 20 60 4c 61 54 65 | 3).(#$...3614)).#@47.Clear.`LaTe |
0f60 | 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 2a 27 20 62 65 66 6f 72 65 20 70 61 72 73 69 6e | X-auto-thmtools-*'.before.parsin |
0f80 | 67 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 61 75 | g...(defalias.'LaTeX-thmtools-au |
0fa0 | 74 6f 2d 70 72 65 70 61 72 65 20 23 5b 30 20 22 5c 33 30 32 5c 32 31 31 10 5c 32 31 31 11 5c 32 | to-prepare.#[0."\302\211.\211.\2 |
0fc0 | 30 37 22 20 5b 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 | 07".[LaTeX-auto-thmtools-declare |
0fe0 | 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 | theoremstyle.LaTeX-auto-thmtools |
1000 | 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 20 6e 69 6c 5d 20 33 20 28 23 24 20 2e 20 33 39 32 | -declaretheorem.nil].3.(#$...392 |
1020 | 35 29 5d 29 0a 23 40 34 38 20 50 72 6f 63 65 73 73 20 70 61 72 73 65 64 20 65 6c 65 6d 65 6e 74 | 5)]).#@48.Process.parsed.element |
1040 | 73 20 66 72 6f 6d 20 74 68 6d 74 6f 6f 6c 73 20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 65 66 61 6c | s.from.thmtools.package...(defal |
1060 | 69 61 73 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70 | ias.'LaTeX-thmtools-auto-cleanup |
1080 | 20 23 5b 30 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 20 5c 22 5c 32 31 31 5c 32 30 35 18 00 5c | .#[0."\300\301\302.\"\211\205..\ |
10a0 | 32 31 31 40 5c 33 30 33 01 5c 33 30 34 42 21 5c 32 31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30 | 211@\303.\304B!\210.A\266\202\20 |
10c0 | 32 05 00 5c 32 30 37 22 20 5b 6d 61 70 63 61 72 20 63 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f | 2..\207".[mapcar.car.LaTeX-thmto |
10e0 | 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 4c 61 54 65 58 2d 61 64 | ols-declaretheorem-list.LaTeX-ad |
1100 | 64 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 28 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 65 | d-environments.(LaTeX-thmtools-e |
1120 | 6e 76 2d 6c 61 62 65 6c 29 5d 20 35 20 28 23 24 20 2e 20 34 31 33 38 29 5d 29 0a 28 62 79 74 65 | nv-label)].5.(#$...4138)]).(byte |
1140 | 2d 63 6f 64 65 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 5c 33 30 33 23 5c 32 31 30 5c 33 30 30 | -code."\300\301\302\303#\210\300 |
1160 | 5c 33 30 34 5c 33 30 35 5c 33 30 33 23 5c 32 31 30 5c 33 30 30 5c 33 30 36 5c 33 30 37 5c 33 30 | \304\305\303#\210\300\306\307\30 |
1180 | 33 23 5c 32 30 37 22 20 5b 61 64 64 2d 68 6f 6f 6b 20 54 65 58 2d 61 75 74 6f 2d 70 72 65 70 61 | 3#\207".[add-hook.TeX-auto-prepa |
11a0 | 72 65 2d 68 6f 6f 6b 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 61 75 74 6f 2d 70 72 65 70 | re-hook.LaTeX-thmtools-auto-prep |
11c0 | 61 72 65 20 74 20 54 65 58 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70 2d 68 6f 6f 6b 20 4c 61 54 65 | are.t.TeX-auto-cleanup-hook.LaTe |
11e0 | 58 2d 74 68 6d 74 6f 6f 6c 73 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70 20 54 65 58 2d 75 70 64 61 | X-thmtools-auto-cleanup.TeX-upda |
1200 | 74 65 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 54 65 58 2d 61 75 74 6f 2d 70 61 72 73 65 5d 20 34 29 | te-style-hook.TeX-auto-parse].4) |
1220 | 0a 23 40 32 30 33 20 51 75 65 72 79 20 61 6e 64 20 72 65 74 75 72 6e 20 61 20 6b 65 79 3d 76 61 | .#@203.Query.and.return.a.key=va |
1240 | 6c 20 73 74 72 69 6e 67 20 66 6f 72 20 5c 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c | l.string.for.\declaretheoremstyl |
1260 | 65 20 6d 61 63 72 6f 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d 6e 69 6c 2c | e.macro..If.OPTIONAL.is.non-nil, |
1280 | 20 69 6e 64 69 63 61 74 65 20 61 6e 20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 75 6d 65 6e 74 20 69 | .indicate.an.optional.argument.i |
12a0 | 6e 0a 6d 69 6e 69 62 75 66 66 65 72 2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c 61 63 65 73 20 74 | n.minibuffer...PROMPT.replaces.t |
12c0 | 68 65 20 73 74 61 6e 64 61 72 64 20 6f 6e 65 2e 0a 0a 28 66 6e 20 4f 50 54 49 4f 4e 41 4c 20 26 | he.standard.one...(fn.OPTIONAL.& |
12e0 | 6f 70 74 69 6f 6e 61 6c 20 50 52 4f 4d 50 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 | optional.PROMPT)..(defalias.'LaT |
1300 | 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d | eX-thmtools-declaretheoremstyle- |
1320 | 6b 65 79 2d 76 61 6c 20 23 5b 35 31 33 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 30 5c 33 30 32 5c | key-val.#[513."\300\301\300\302\ |
1340 | 33 30 33 20 5c 22 5c 22 5c 33 30 30 5c 33 30 34 5c 33 30 35 5c 22 5c 33 30 36 04 5c 33 30 37 04 | 303.\"\"\300\304\305\"\306.\307. |
1360 | 44 5c 33 31 30 05 44 5c 33 31 31 05 44 5c 33 31 32 06 06 44 5c 33 31 33 06 07 44 5c 33 31 34 5c | D\310.D\311.D\312..D\313..D\314\ |
1380 | 33 31 35 5c 33 31 36 06 0b 44 5c 33 31 37 5c 33 32 30 06 0d 44 5c 32 35 37 5c 6e 05 23 5c 32 30 | 315\316..D\317\320..D\257\n.#\20 |
13a0 | 37 22 20 5b 6d 61 70 63 61 72 20 23 5b 32 35 37 20 22 08 01 50 5c 32 30 37 22 20 5b 54 65 58 2d | 7".[mapcar.#[257."..P\207".[TeX- |
13c0 | 65 73 63 5d 20 33 20 22 5c 6e 5c 6e 28 66 6e 20 58 29 22 5d 20 63 61 72 20 4c 61 54 65 58 2d 6c | esc].3."\n\n(fn.X)"].car.LaTeX-l |
13e0 | 65 6e 67 74 68 2d 6c 69 73 74 20 23 5b 32 35 37 20 22 08 01 50 5c 32 30 37 22 20 5b 54 65 58 2d | ength-list.#[257."..P\207".[TeX- |
1400 | 65 73 63 5d 20 33 20 22 5c 6e 5c 6e 28 66 6e 20 58 29 22 5d 20 28 22 72 6d 66 61 6d 69 6c 79 22 | esc].3."\n\n(fn.X)"].("rmfamily" |
1420 | 20 22 73 66 66 61 6d 69 6c 79 22 20 22 74 74 66 61 6d 69 6c 79 22 20 22 6d 64 73 65 72 69 65 73 | ."sffamily"."ttfamily"."mdseries |
1440 | 22 20 22 62 66 73 65 72 69 65 73 22 20 22 75 70 73 68 61 70 65 22 20 22 69 74 73 68 61 70 65 22 | "."bfseries"."upshape"."itshape" |
1460 | 20 22 73 6c 73 68 61 70 65 22 20 22 73 63 73 68 61 70 65 22 20 22 74 69 6e 79 22 20 22 73 63 72 | ."slshape"."scshape"."tiny"."scr |
1480 | 69 70 74 73 69 7a 65 22 20 22 66 6f 6f 74 6e 6f 74 65 73 69 7a 65 22 20 22 73 6d 61 6c 6c 22 20 | iptsize"."footnotesize"."small". |
14a0 | 22 6e 6f 72 6d 61 6c 73 69 7a 65 22 20 22 6c 61 72 67 65 22 20 22 4c 61 72 67 65 22 20 22 4c 41 | "normalsize"."large"."Large"."LA |
14c0 | 52 47 45 22 20 22 68 75 67 65 22 20 22 48 75 67 65 22 20 22 6e 6f 72 6d 61 6c 66 6f 6e 74 22 29 | RGE"."huge"."Huge"."normalfont") |
14e0 | 20 54 65 58 2d 72 65 61 64 2d 6b 65 79 2d 76 61 6c 20 22 73 70 61 63 65 61 62 6f 76 65 22 20 22 | .TeX-read-key-val."spaceabove"." |
1500 | 73 70 61 63 65 62 65 6c 6f 77 22 20 22 68 65 61 64 66 6f 6e 74 22 20 22 6e 6f 74 65 66 6f 6e 74 | spacebelow"."headfont"."notefont |
1520 | 22 20 22 62 6f 64 79 66 6f 6e 74 22 20 28 22 68 65 61 64 70 75 6e 63 74 22 29 20 28 22 6e 6f 74 | "."bodyfont".("headpunct").("not |
1540 | 65 62 72 61 63 65 73 22 29 20 22 70 6f 73 74 68 65 61 64 73 70 61 63 65 22 20 28 22 68 65 61 64 | ebraces")."postheadspace".("head |
1560 | 66 6f 72 6d 61 74 22 20 28 22 6d 61 72 67 69 6e 22 20 22 73 77 61 70 6e 75 6d 62 65 72 22 20 22 | format".("margin"."swapnumber"." |
1580 | 5c 5c 4e 55 4d 42 45 52 22 20 22 5c 5c 4e 41 4d 45 22 20 22 5c 5c 4e 4f 54 45 22 29 29 20 22 68 | \\NUMBER"."\\NAME"."\\NOTE"))."h |
15a0 | 65 61 64 69 6e 64 65 6e 74 22 5d 20 31 37 20 28 23 24 20 2e 20 34 36 34 37 29 5d 29 0a 23 40 32 | eadindent"].17.(#$...4647)]).#@2 |
15c0 | 33 35 20 49 6e 73 65 72 74 20 74 68 65 20 6b 65 79 3d 76 61 6c 20 61 6e 64 20 73 74 79 6c 65 20 | 35.Insert.the.key=val.and.style. |
15e0 | 6e 61 6d 65 20 64 65 66 69 6e 65 64 20 62 79 20 5c 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 | name.defined.by.\declaretheorems |
1600 | 74 79 6c 65 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d 6e 69 6c 2c 20 61 6c | tyle..If.OPTIONAL.is.non-nil,.al |
1620 | 73 6f 20 69 6e 73 65 72 74 20 74 68 65 20 73 65 63 6f 6e 64 20 61 72 67 75 6d 65 6e 74 20 69 6e | so.insert.the.second.argument.in |
1640 | 20 73 71 75 61 72 65 0a 62 72 61 63 6b 65 74 73 2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c 61 63 | .square.brackets...PROMPT.replac |
1660 | 65 73 20 74 68 65 20 73 74 61 6e 64 61 72 64 20 6f 6e 65 20 66 6f 72 20 74 68 65 20 73 65 63 6f | es.the.standard.one.for.the.seco |
1680 | 6e 64 0a 61 72 67 75 6d 65 6e 74 2e 0a 0a 28 66 6e 20 4f 50 54 49 4f 4e 41 4c 20 26 6f 70 74 69 | nd.argument...(fn.OPTIONAL.&opti |
16a0 | 6f 6e 61 6c 20 50 52 4f 4d 50 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 | onal.PROMPT)..(defalias.'LaTeX-a |
16c0 | 72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 | rg-thmtools-declaretheoremstyle. |
16e0 | 23 5b 35 31 33 20 22 5c 33 30 32 5c 33 30 33 18 19 5c 33 30 34 5c 33 30 35 5c 33 30 36 21 5c 33 | #[513."\302\303..\304\305\306!\3 |
1700 | 30 36 5c 22 5c 32 31 30 2a 5c 33 30 37 5c 33 31 30 03 03 5c 33 31 31 23 21 5c 33 31 32 01 21 5c | 06\"\210*\307\310..\311#!\312.!\ |
1720 | 32 31 30 5c 33 30 34 01 04 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 61 72 67 2d 63 6c 6f 73 69 6e | 210\304..\"\207".[TeX-arg-closin |
1740 | 67 2d 62 72 61 63 65 20 54 65 58 2d 61 72 67 2d 6f 70 65 6e 69 6e 67 2d 62 72 61 63 65 20 22 5b | g-brace.TeX-arg-opening-brace."[ |
1760 | 22 20 22 5d 22 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 69 6e 73 65 72 74 20 4c 61 54 65 58 2d | "."]".TeX-argument-insert.LaTeX- |
1780 | 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6b 65 79 | thmtools-declaretheoremstyle-key |
17a0 | 2d 76 61 6c 20 74 20 54 65 58 2d 72 65 61 64 2d 73 74 72 69 6e 67 20 54 65 58 2d 61 72 67 75 6d | -val.t.TeX-read-string.TeX-argum |
17c0 | 65 6e 74 2d 70 72 6f 6d 70 74 20 22 53 74 79 6c 65 22 20 4c 61 54 65 58 2d 61 64 64 2d 74 68 6d | ent-prompt."Style".LaTeX-add-thm |
17e0 | 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 5d 20 37 20 28 23 | tools-declaretheoremstyles].7.(# |
1800 | 24 20 2e 20 35 35 37 31 29 5d 29 0a 23 40 31 39 38 20 51 75 65 72 79 20 61 6e 64 20 72 65 74 75 | $...5571)]).#@198.Query.and.retu |
1820 | 72 6e 20 61 20 6b 65 79 3d 76 61 6c 20 73 74 72 69 6e 67 20 66 6f 72 20 5c 64 65 63 6c 61 72 65 | rn.a.key=val.string.for.\declare |
1840 | 74 68 65 6f 72 65 6d 20 6d 61 63 72 6f 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f | theorem.macro..If.OPTIONAL.is.no |
1860 | 6e 2d 6e 69 6c 2c 20 69 6e 64 69 63 61 74 65 20 61 6e 20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 75 | n-nil,.indicate.an.optional.argu |
1880 | 6d 65 6e 74 20 69 6e 0a 6d 69 6e 69 62 75 66 66 65 72 2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c | ment.in.minibuffer...PROMPT.repl |
18a0 | 61 63 65 73 20 74 68 65 20 73 74 61 6e 64 61 72 64 20 6f 6e 65 2e 0a 0a 28 66 6e 20 4f 50 54 49 | aces.the.standard.one...(fn.OPTI |
18c0 | 4f 4e 41 4c 20 26 6f 70 74 69 6f 6e 61 6c 20 50 52 4f 4d 50 54 29 1f 0a 28 64 65 66 61 6c 69 61 | ONAL.&optional.PROMPT)..(defalia |
18e0 | 73 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d | s.'LaTeX-thmtools-declaretheorem |
1900 | 2d 6b 65 79 2d 76 61 6c 20 23 5b 35 31 33 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 20 5c 22 5c | -key-val.#[513."\300\301\302.\"\ |
1920 | 33 30 33 03 5c 33 30 34 03 44 5c 33 30 35 04 44 5c 33 30 36 05 44 5c 33 30 37 06 06 44 5c 33 31 | 303.\304.D\305.D\306.D\307..D\31 |
1940 | 30 06 07 44 5c 33 31 31 06 08 44 5c 33 31 32 5c 33 31 33 5c 33 31 34 5c 33 31 35 5c 33 31 36 5c | 0..D\311..D\312\313\314\315\316\ |
1960 | 33 31 37 5c 33 32 30 5c 33 32 31 21 5c 32 30 35 32 00 5c 33 32 31 20 5c 32 30 35 32 00 5c 33 30 | 317\320\321!\2052.\321.\2052.\30 |
1980 | 30 5c 33 30 31 5c 33 32 31 20 5c 22 5c 33 32 30 5c 33 32 32 21 5c 32 30 35 42 00 5c 33 32 32 20 | 0\301\321.\"\320\322!\205B.\322. |
19a0 | 5c 32 30 35 42 00 5c 33 30 30 5c 33 30 31 5c 33 32 32 20 5c 22 5c 33 30 30 5c 33 30 31 5c 33 32 | \205B.\300\301\322.\"\300\301\32 |
19c0 | 33 20 5c 22 23 44 5c 33 32 34 42 42 42 42 42 42 42 42 42 42 42 04 23 5c 32 30 37 22 20 5b 6d 61 | 3.\"#D\324BBBBBBBBBBB.#\207".[ma |
19e0 | 70 63 61 72 20 63 61 72 20 4c 61 54 65 58 2d 63 6f 75 6e 74 65 72 2d 6c 69 73 74 20 54 65 58 2d | pcar.car.LaTeX-counter-list.TeX- |
1a00 | 72 65 61 64 2d 6b 65 79 2d 76 61 6c 20 22 70 61 72 65 6e 74 22 20 22 6e 75 6d 62 65 72 77 69 74 | read-key-val."parent"."numberwit |
1a20 | 68 69 6e 22 20 22 77 69 74 68 69 6e 22 20 22 73 69 62 6c 69 6e 67 22 20 22 6e 75 6d 62 65 72 6c | hin"."within"."sibling"."numberl |
1a40 | 69 6b 65 22 20 22 73 68 61 72 65 6e 75 6d 62 65 72 22 20 28 22 74 69 74 6c 65 22 29 20 28 22 6e | ike"."sharenumber".("title").("n |
1a60 | 61 6d 65 22 29 20 28 22 68 65 61 64 69 6e 67 22 29 20 28 22 6e 75 6d 62 65 72 65 64 22 20 28 22 | ame").("heading").("numbered".(" |
1a80 | 79 65 73 22 20 22 6e 6f 22 20 22 75 6e 6c 65 73 73 20 75 6e 69 71 75 65 22 29 29 20 22 73 74 79 | yes"."no"."unless.unique"))."sty |
1aa0 | 6c 65 22 20 61 70 70 65 6e 64 20 66 62 6f 75 6e 64 70 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d | le".append.fboundp.LaTeX-amsthm- |
1ac0 | 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 6e 74 68 65 6f | newtheoremstyle-list.LaTeX-ntheo |
1ae0 | 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 74 | rem-newtheoremstyle-list.LaTeX-t |
1b00 | 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 | hmtools-declaretheoremstyle-list |
1b20 | 20 28 28 22 70 72 65 68 65 61 64 68 6f 6f 6b 22 29 20 28 22 70 6f 73 74 68 65 61 64 68 6f 6f 6b | .(("preheadhook").("postheadhook |
1b40 | 22 29 20 28 22 70 72 65 66 6f 6f 74 68 6f 6f 6b 22 29 20 28 22 70 6f 73 74 66 6f 6f 74 68 6f 6f | ").("prefoothook").("postfoothoo |
1b60 | 6b 22 29 20 28 22 72 65 66 6e 61 6d 65 22 29 20 28 22 52 65 66 6e 61 6d 65 22 29 20 28 22 73 68 | k").("refname").("Refname").("sh |
1b80 | 61 64 65 64 22 20 28 22 74 65 78 74 77 69 64 74 68 22 20 22 62 67 63 6f 6c 6f 72 22 20 22 72 75 | aded".("textwidth"."bgcolor"."ru |
1ba0 | 6c 65 63 6f 6c 6f 72 22 20 22 72 75 6c 65 77 69 64 74 68 22 20 22 6d 61 72 67 69 6e 22 29 29 20 | lecolor"."rulewidth"."margin")). |
1bc0 | 28 22 74 68 6d 62 6f 78 22 20 28 22 4c 22 20 22 4d 22 20 22 53 22 29 29 29 5d 20 32 32 20 28 23 | ("thmbox".("L"."M"."S")))].22.(# |
1be0 | 24 20 2e 20 36 31 36 32 29 5d 29 0a 23 40 32 33 36 20 49 6e 73 65 72 74 20 74 68 65 20 6b 65 79 | $...6162)]).#@236.Insert.the.key |
1c00 | 3d 76 61 6c 20 61 6e 64 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 6e 61 6d 65 20 64 65 66 69 6e 65 | =val.and.environment.name.define |
1c20 | 64 20 62 79 20 5c 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 | d.by.\declaretheorem..If.OPTIONA |
1c40 | 4c 20 69 73 20 6e 6f 6e 2d 6e 69 6c 2c 20 61 6c 73 6f 20 69 6e 73 65 72 74 20 74 68 65 20 73 65 | L.is.non-nil,.also.insert.the.se |
1c60 | 63 6f 6e 64 20 61 72 67 75 6d 65 6e 74 20 69 6e 20 73 71 75 61 72 65 0a 62 72 61 63 6b 65 74 73 | cond.argument.in.square.brackets |
1c80 | 2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c 61 63 65 73 20 74 68 65 20 73 74 61 6e 64 61 72 64 20 | ...PROMPT.replaces.the.standard. |
1ca0 | 6f 6e 65 20 66 6f 72 20 74 68 65 20 73 65 63 6f 6e 64 0a 61 72 67 75 6d 65 6e 74 2e 0a 0a 28 66 | one.for.the.second.argument...(f |
1cc0 | 6e 20 4f 50 54 49 4f 4e 41 4c 20 26 6f 70 74 69 6f 6e 61 6c 20 50 52 4f 4d 50 54 29 1f 0a 28 64 | n.OPTIONAL.&optional.PROMPT)..(d |
1ce0 | 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c | efalias.'LaTeX-arg-thmtools-decl |
1d00 | 61 72 65 74 68 65 6f 72 65 6d 20 23 5b 35 31 33 20 22 5c 33 30 32 5c 33 30 33 03 03 5c 33 30 34 | aretheorem.#[513."\302\303..\304 |
1d20 | 23 21 5c 33 30 35 01 5c 33 30 36 42 21 5c 32 31 30 5c 33 30 37 01 04 5c 22 5c 32 36 36 02 5c 33 | #!\305.\306B!\210\307..\"\266.\3 |
1d40 | 31 30 5c 33 31 31 18 19 5c 33 30 37 5c 33 31 32 5c 33 31 33 21 5c 33 31 33 5c 22 2a 5c 32 30 37 | 10\311..\307\312\313!\313\"*\207 |
1d60 | 22 20 5b 54 65 58 2d 61 72 67 2d 63 6c 6f 73 69 6e 67 2d 62 72 61 63 65 20 54 65 58 2d 61 72 67 | ".[TeX-arg-closing-brace.TeX-arg |
1d80 | 2d 6f 70 65 6e 69 6e 67 2d 62 72 61 63 65 20 54 65 58 2d 72 65 61 64 2d 73 74 72 69 6e 67 20 54 | -opening-brace.TeX-read-string.T |
1da0 | 65 58 2d 61 72 67 75 6d 65 6e 74 2d 70 72 6f 6d 70 74 20 22 45 6e 76 69 72 6f 6e 6d 65 6e 74 22 | eX-argument-prompt."Environment" |
1dc0 | 20 4c 61 54 65 58 2d 61 64 64 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 28 4c 61 54 65 58 2d 74 | .LaTeX-add-environments.(LaTeX-t |
1de0 | 68 6d 74 6f 6f 6c 73 2d 65 6e 76 2d 6c 61 62 65 6c 29 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d | hmtools-env-label).TeX-argument- |
1e00 | 69 6e 73 65 72 74 20 22 5b 22 20 22 5d 22 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 | insert."["."]".LaTeX-thmtools-de |
1e20 | 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6b 65 79 2d 76 61 6c 20 74 5d 20 37 20 28 23 24 20 2e 20 | claretheorem-key-val.t].7.(#$... |
1e40 | 37 31 35 34 29 5d 29 0a 23 40 31 39 38 20 51 75 65 72 79 20 61 6e 64 20 72 65 74 75 72 6e 20 61 | 7154)]).#@198.Query.and.return.a |
1e60 | 20 6b 65 79 3d 76 61 6c 20 73 74 72 69 6e 67 20 66 6f 72 20 5c 6c 69 73 74 6f 66 74 68 65 6f 72 | .key=val.string.for.\listoftheor |
1e80 | 65 6d 73 20 6d 61 63 72 6f 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d 6e 69 | ems.macro..If.OPTIONAL.is.non-ni |
1ea0 | 6c 2c 20 69 6e 64 69 63 61 74 65 20 61 6e 20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 75 6d 65 6e 74 | l,.indicate.an.optional.argument |
1ec0 | 20 69 6e 0a 6d 69 6e 69 62 75 66 66 65 72 2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c 61 63 65 73 | .in.minibuffer...PROMPT.replaces |
1ee0 | 20 74 68 65 20 73 74 61 6e 64 61 72 64 20 6f 6e 65 2e 0a 0a 28 66 6e 20 4f 50 54 49 4f 4e 41 4c | .the.standard.one...(fn.OPTIONAL |
1f00 | 20 26 6f 70 74 69 6f 6e 61 6c 20 50 52 4f 4d 50 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c | .&optional.PROMPT)..(defalias.'L |
1f20 | 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 2d 6b 65 79 | aTeX-thmtools-listoftheorems-key |
1f40 | 2d 76 61 6c 20 23 5b 35 31 33 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 30 5c 33 30 32 5c 33 30 33 | -val.#[513."\300\301\300\302\303 |
1f60 | 20 5c 22 5c 22 5c 33 30 34 5c 33 30 35 5c 33 30 36 21 5c 32 30 35 19 00 5c 33 30 36 20 5c 32 30 | .\"\"\304\305\306!\205..\306.\20 |
1f80 | 35 19 00 5c 33 30 30 5c 33 30 32 5c 33 30 36 20 5c 22 5c 33 30 35 5c 33 30 37 21 5c 32 30 35 29 | 5..\300\302\306.\"\305\307!\205) |
1fa0 | 00 5c 33 30 37 20 5c 32 30 35 29 00 5c 33 30 30 5c 33 30 32 5c 33 30 37 20 5c 22 5c 33 30 30 5c | .\307.\205).\300\302\307.\"\300\ |
1fc0 | 33 30 32 5c 33 31 30 20 5c 22 23 5c 33 31 31 04 5c 33 31 32 5c 33 31 33 04 44 5c 33 31 34 5c 33 | 302\310.\"#\311.\312\313.D\314\3 |
1fe0 | 31 35 06 06 44 5c 33 31 36 5c 33 31 37 06 08 44 5c 33 32 30 5c 33 32 31 06 0b 44 5c 32 35 37 08 | 15..D\316\317..D\320\321..D\257. |
2000 | 05 23 5c 32 30 37 22 20 5b 6d 61 70 63 61 72 20 23 5b 32 35 37 20 22 08 01 50 5c 32 30 37 22 20 | .#\207".[mapcar.#[257."..P\207". |
2020 | 5b 54 65 58 2d 65 73 63 5d 20 33 20 22 5c 6e 5c 6e 28 66 6e 20 58 29 22 5d 20 63 61 72 20 4c 61 | [TeX-esc].3."\n\n(fn.X)"].car.La |
2040 | 54 65 58 2d 6c 65 6e 67 74 68 2d 6c 69 73 74 20 61 70 70 65 6e 64 20 66 62 6f 75 6e 64 70 20 4c | TeX-length-list.append.fboundp.L |
2060 | 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 4c 61 54 65 | aTeX-amsthm-newtheorem-list.LaTe |
2080 | 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 4c 61 54 65 58 | X-ntheorem-newtheorem-list.LaTeX |
20a0 | 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 54 65 | -thmtools-declaretheorem-list.Te |
20c0 | 58 2d 72 65 61 64 2d 6b 65 79 2d 76 61 6c 20 28 22 74 69 74 6c 65 22 29 20 22 69 67 6e 6f 72 65 | X-read-key-val.("title")."ignore |
20e0 | 22 20 28 22 69 67 6e 6f 72 65 61 6c 6c 22 20 28 22 74 72 75 65 22 20 22 66 61 6c 73 65 22 29 29 | ".("ignoreall".("true"."false")) |
2100 | 20 22 73 68 6f 77 22 20 28 22 73 68 6f 77 61 6c 6c 22 20 28 22 74 72 75 65 22 20 22 66 61 6c 73 | ."show".("showall".("true"."fals |
2120 | 65 22 29 29 20 22 6f 6e 6c 79 6e 61 6d 65 64 22 20 28 22 73 77 61 70 6e 75 6d 62 65 72 22 20 28 | e"))."onlynamed".("swapnumber".( |
2140 | 22 74 72 75 65 22 20 22 66 61 6c 73 65 22 29 29 20 22 6e 75 6d 77 69 64 74 68 22 5d 20 31 35 20 | "true"."false"))."numwidth"].15. |
2160 | 28 23 24 20 2e 20 37 37 35 38 29 5d 29 0a 23 40 32 31 32 20 49 6e 73 65 72 74 20 74 68 65 20 6b | (#$...7758)]).#@212.Insert.the.k |
2180 | 65 79 3d 76 61 6c 20 74 6f 20 5c 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 20 6d 61 63 72 6f 2e | ey=val.to.\listoftheorems.macro. |
21a0 | 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d 6e 69 6c 2c 20 69 6e 73 65 72 74 20 | .If.OPTIONAL.is.non-nil,.insert. |
21c0 | 74 68 65 20 72 65 73 75 6c 74 20 73 71 75 61 72 65 20 62 72 61 63 6b 65 74 73 2e 0a 4f 50 54 49 | the.result.square.brackets..OPTI |
21e0 | 4f 4e 41 4c 20 61 6e 64 20 50 52 4f 4d 50 54 20 61 72 65 20 70 61 73 73 65 64 20 74 6f 20 60 4c | ONAL.and.PROMPT.are.passed.to.`L |
2200 | 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 2d 6b 65 79 | aTeX-thmtools-listoftheorems-key |
2220 | 2d 76 61 6c 27 2e 0a 0a 28 66 6e 20 4f 50 54 49 4f 4e 41 4c 20 26 6f 70 74 69 6f 6e 61 6c 20 50 | -val'...(fn.OPTIONAL.&optional.P |
2240 | 52 4f 4d 50 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 72 67 2d 74 68 6d | ROMPT)..(defalias.'LaTeX-arg-thm |
2260 | 74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 20 23 5b 35 31 33 20 22 5c 33 30 30 | tools-listoftheorems.#[513."\300 |
2280 | 5c 33 30 31 03 03 5c 22 03 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 69 | \301..\".\"\207".[TeX-argument-i |
22a0 | 6e 73 65 72 74 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72 | nsert.LaTeX-thmtools-listoftheor |
22c0 | 65 6d 73 2d 6b 65 79 2d 76 61 6c 5d 20 36 20 28 23 24 20 2e 20 38 35 36 34 29 5d 29 0a 23 40 35 | ems-key-val].6.(#$...8564)]).#@5 |
22e0 | 35 37 20 49 6e 73 65 72 74 20 74 68 6d 74 6f 6f 6c 73 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 2c 20 | 57.Insert.thmtools.ENVIRONMENT,. |
2300 | 71 75 65 72 79 20 66 6f 72 20 61 6e 20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 75 6d 65 6e 74 20 61 | query.for.an.optional.argument.a |
2320 | 6e 64 20 6c 61 62 65 6c 2e 0a 41 55 43 54 65 58 20 75 73 65 72 73 20 73 68 6f 75 6c 64 20 61 64 | nd.label..AUCTeX.users.should.ad |
2340 | 64 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 20 74 6f 20 60 4c 61 54 65 58 2d 6c 61 62 65 6c 2d 61 6c | d.ENVIRONMENT.to.`LaTeX-label-al |
2360 | 69 73 74 27 20 76 69 61 0a 63 75 73 74 6f 6d 69 7a 65 20 6f 72 20 69 6e 20 69 6e 69 74 2d 66 69 | ist'.via.customize.or.in.init-fi |
2380 | 6c 65 20 77 69 74 68 3a 0a 0a 20 20 28 61 64 64 2d 74 6f 2d 6c 69 73 74 20 5c 3d 27 4c 61 54 65 | le.with:....(add-to-list.\='LaTe |
23a0 | 58 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 20 5c 3d 27 28 22 74 68 65 6f 72 65 6d 22 20 2e 20 22 74 | X-label-alist.\='("theorem"..."t |
23c0 | 68 6d 3a 22 29 29 0a 0a 52 65 66 54 65 58 20 75 73 65 72 73 20 73 68 6f 75 6c 64 20 63 75 73 74 | hm:"))..RefTeX.users.should.cust |
23e0 | 6f 6d 69 7a 65 20 6f 72 20 61 64 64 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 20 74 6f 0a 60 4c 61 54 | omize.or.add.ENVIRONMENT.to.`LaT |
2400 | 65 58 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 27 20 61 6e 64 20 60 72 65 66 74 65 78 2d 6c 61 62 65 | eX-label-alist'.and.`reftex-labe |
2420 | 6c 2d 61 6c 69 73 74 27 2c 20 66 6f 72 20 65 78 61 6d 70 6c 65 0a 0a 20 20 28 61 64 64 2d 74 6f | l-alist',.for.example....(add-to |
2440 | 2d 6c 69 73 74 20 5c 3d 27 4c 61 54 65 58 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 20 5c 3d 27 28 22 | -list.\='LaTeX-label-alist.\='(" |
2460 | 74 68 65 6f 72 65 6d 22 20 2e 20 22 74 68 6d 3a 22 29 29 0a 20 20 28 61 64 64 2d 74 6f 2d 6c 69 | theorem"..."thm:"))...(add-to-li |
2480 | 73 74 20 5c 3d 27 72 65 66 74 65 78 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 0a 20 20 20 20 20 20 20 | st.\='reftex-label-alist........ |
24a0 | 20 20 20 20 20 20 20 20 5c 3d 27 28 22 74 68 65 6f 72 65 6d 22 20 3f 6d 20 22 74 68 6d 3a 22 20 | ........\='("theorem".?m."thm:". |
24c0 | 22 7e 5c 72 65 66 7b 25 73 7d 22 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 6e 69 6c | "~\ref{%s}"..................nil |
24e0 | 20 28 22 54 68 65 6f 72 65 6d 22 20 22 74 68 65 6f 72 65 6d 22 29 20 6e 69 6c 29 29 0a 0a 28 66 | .("Theorem"."theorem").nil))..(f |
2500 | 6e 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 | n.ENVIRONMENT)..(defalias.'LaTeX |
2520 | 2d 74 68 6d 74 6f 6f 6c 73 2d 65 6e 76 2d 6c 61 62 65 6c 20 23 5b 32 35 37 20 22 5c 33 30 31 18 | -thmtools-env-label.#[257."\301. |
2540 | 5c 33 30 32 5c 33 30 33 5c 33 30 34 5c 32 31 31 5c 33 30 35 23 5c 33 30 36 5c 22 5c 32 31 31 5c | \302\303\304\211\305#\306\"\211\ |
2560 | 33 30 37 55 5c 32 30 33 1a 00 5c 33 31 30 5c 33 30 33 5c 33 31 31 5c 33 30 34 5c 33 31 32 23 21 | 307U\203..\310\303\311\304\312#! |
2580 | 5c 32 30 32 3a 00 5c 32 31 31 5c 33 31 33 55 5c 32 30 33 39 00 5c 33 31 34 5c 33 31 31 5c 33 31 | \202:.\211\313U\2039.\314\311\31 |
25a0 | 35 5c 33 31 36 5c 33 31 37 5c 33 32 30 5c 33 32 31 20 5c 22 44 5c 33 32 32 5c 33 31 37 5c 33 32 | 5\316\317\320\321.\"D\322\317\32 |
25c0 | 30 5c 33 32 31 20 5c 22 44 5c 33 32 33 42 42 42 5c 22 5c 32 30 32 3a 00 5c 33 32 34 5c 33 32 35 | 0\321.\"D\323BBB\"\202:.\324\325 |
25e0 | 03 02 5c 32 30 35 4b 00 02 5c 33 32 34 5c 32 33 30 3f 5c 32 30 35 4b 00 5c 33 32 36 5c 33 32 37 | ..\205K..\324\230?\205K.\326\327 |
2600 | 04 5c 22 5c 22 5c 32 31 30 29 5c 32 36 36 02 5c 33 33 30 01 5c 33 33 31 5c 22 5c 32 30 35 5c 5c | .\"\"\210)\266.\330.\331\"\205\\ |
2620 | 00 5c 33 33 32 20 5c 32 31 30 5c 33 33 33 20 5c 32 30 37 22 20 5b 68 65 6c 70 2d 66 6f 72 6d 20 | .\332.\210\333.\207".[help-form. |
2640 | 22 53 65 6c 65 63 74 20 74 68 65 20 63 6f 6e 74 65 6e 74 20 6f 66 20 74 68 65 20 6f 70 74 69 6f | "Select.the.content.of.the.optio |
2660 | 6e 61 6c 20 61 72 67 75 6d 65 6e 74 20 77 69 74 68 20 61 20 6b 65 79 3a 5c 6e 27 68 27 20 69 6e | nal.argument.with.a.key:\n'h'.in |
2680 | 20 6f 72 64 65 72 20 74 6f 20 69 6e 73 65 72 74 20 61 20 70 6c 61 69 6e 20 68 65 61 64 69 6e 67 | .order.to.insert.a.plain.heading |
26a0 | 2c 5c 6e 27 6b 27 20 69 6e 20 6f 72 64 65 72 20 74 6f 20 69 6e 73 65 72 74 20 6b 65 79 3d 76 61 | ,\n'k'.in.order.to.insert.key=va |
26c0 | 6c 75 65 20 70 61 69 72 73 20 77 69 74 68 20 63 6f 6d 70 6c 65 74 69 6f 6e 2c 5c 6e 52 45 54 20 | lue.pairs.with.completion,\nRET. |
26e0 | 69 6e 20 6f 72 64 65 72 20 74 6f 20 6c 65 61 76 65 20 69 74 20 65 6d 70 74 79 2e 22 20 72 65 61 | in.order.to.leave.it.empty.".rea |
2700 | 64 2d 63 68 61 72 2d 63 68 6f 69 63 65 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 70 72 6f 6d 70 | d-char-choice.TeX-argument-promp |
2720 | 74 20 6e 69 6c 20 22 48 65 61 64 69 6e 67 20 28 68 29 2c 20 4b 65 79 3d 76 61 6c 20 28 6b 29 2c | t.nil."Heading.(h),.Key=val.(k), |
2740 | 20 45 6d 70 74 79 20 28 52 45 54 29 22 20 28 31 30 34 20 31 30 37 29 20 31 30 34 20 54 65 58 2d | .Empty.(RET)".(104.107).104.TeX- |
2760 | 72 65 61 64 2d 73 74 72 69 6e 67 20 74 20 22 48 65 61 64 69 6e 67 22 20 31 30 37 20 54 65 58 2d | read-string.t."Heading".107.TeX- |
2780 | 72 65 61 64 2d 6b 65 79 2d 76 61 6c 20 28 22 6e 61 6d 65 22 29 20 22 63 6f 6e 74 69 6e 75 65 73 | read-key-val.("name")."continues |
27a0 | 22 20 6d 61 70 63 61 72 20 63 61 72 20 4c 61 54 65 58 2d 6c 61 62 65 6c 2d 6c 69 73 74 20 22 72 | ".mapcar.car.LaTeX-label-list."r |
27c0 | 65 73 74 61 74 65 22 20 28 28 22 6c 69 73 74 68 61 63 6b 22 20 28 22 74 72 75 65 22 20 22 66 61 | estate".(("listhack".("true"."fa |
27e0 | 6c 73 65 22 29 29 29 20 22 22 20 4c 61 54 65 58 2d 69 6e 73 65 72 74 2d 65 6e 76 69 72 6f 6e 6d | lse")))."".LaTeX-insert-environm |
2800 | 65 6e 74 20 66 6f 72 6d 61 74 20 22 5b 25 73 5d 22 20 4c 61 54 65 58 2d 6c 61 62 65 6c 20 65 6e | ent.format."[%s]".LaTeX-label.en |
2820 | 76 69 72 6f 6e 6d 65 6e 74 20 4c 61 54 65 58 2d 6e 65 77 6c 69 6e 65 20 69 6e 64 65 6e 74 2d 61 | vironment.LaTeX-newline.indent-a |
2840 | 63 63 6f 72 64 69 6e 67 2d 74 6f 2d 6d 6f 64 65 5d 20 31 30 20 28 23 24 20 2e 20 38 39 33 31 29 | ccording-to-mode].10.(#$...8931) |
2860 | 5d 29 0a 28 54 65 58 2d 61 64 64 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 22 74 68 6d 74 6f 6f 6c 73 | ]).(TeX-add-style-hook."thmtools |
2880 | 22 20 23 5b 30 20 22 5c 33 30 33 08 21 5c 32 31 30 5c 33 30 33 09 21 5c 32 31 30 5c 33 30 34 5c | ".#[0."\303.!\210\303.!\210\304\ |
28a0 | 33 30 35 5c 33 30 36 5c 33 30 37 5c 33 31 30 5c 33 31 31 25 5c 32 31 30 5c 33 31 32 5c 33 31 33 | 305\306\307\310\311%\210\312\313 |
28c0 | 21 5c 32 30 35 20 00 5c 6e 5c 33 31 34 3d 5c 32 30 35 20 00 5c 33 31 35 5c 33 31 36 5c 33 31 37 | !\205..\n\314=\205..\315\316\317 |
28e0 | 5c 22 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 | \"\207".[LaTeX-thmtools-declaret |
2900 | 68 65 6f 72 65 6d 73 74 79 6c 65 2d 72 65 67 65 78 70 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c | heoremstyle-regexp.LaTeX-thmtool |
2920 | 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 72 65 67 65 78 70 20 54 65 58 2d 69 6e 73 74 | s-declaretheorem-regexp.TeX-inst |
2940 | 61 6c 6c 2d 66 6f 6e 74 2d 6c 6f 63 6b 20 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 72 65 67 65 78 | all-font-lock.TeX-auto-add-regex |
2960 | 70 20 54 65 58 2d 61 64 64 2d 73 79 6d 62 6f 6c 73 20 28 22 64 65 63 6c 61 72 65 74 68 65 6f 72 | p.TeX-add-symbols.("declaretheor |
2980 | 65 6d 73 74 79 6c 65 22 20 4c 61 54 65 58 2d 61 72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c | emstyle".LaTeX-arg-thmtools-decl |
29a0 | 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 29 20 28 22 64 65 63 6c 61 72 65 74 68 65 6f 72 65 | aretheoremstyle).("declaretheore |
29c0 | 6d 22 20 4c 61 54 65 58 2d 61 72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 | m".LaTeX-arg-thmtools-declarethe |
29e0 | 6f 72 65 6d 29 20 28 22 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 22 20 5b 4c 61 54 65 58 2d 61 | orem).("listoftheorems".[LaTeX-a |
2a00 | 72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 5d 29 20 28 22 69 | rg-thmtools-listoftheorems]).("i |
2a20 | 67 6e 6f 72 65 74 68 65 6f 72 65 6d 73 22 20 28 54 65 58 2d 61 72 67 2d 65 76 61 6c 20 6d 61 70 | gnoretheorems".(TeX-arg-eval.map |
2a40 | 63 6f 6e 63 61 74 20 23 27 69 64 65 6e 74 69 74 79 20 28 54 65 58 2d 63 6f 6d 70 6c 65 74 69 6e | concat.#'identity.(TeX-completin |
2a60 | 67 2d 72 65 61 64 2d 6d 75 6c 74 69 70 6c 65 20 28 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 70 72 | g-read-multiple.(TeX-argument-pr |
2a80 | 6f 6d 70 74 20 6e 69 6c 20 6e 69 6c 20 22 45 6e 76 69 72 6f 6e 6d 65 6e 74 28 73 29 22 29 20 28 | ompt.nil.nil."Environment(s)").( |
2aa0 | 61 70 70 65 6e 64 20 28 77 68 65 6e 20 28 61 6e 64 20 28 66 62 6f 75 6e 64 70 20 27 4c 61 54 65 | append.(when.(and.(fboundp.'LaTe |
2ac0 | 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 20 28 4c 61 54 65 58 | X-amsthm-newtheorem-list).(LaTeX |
2ae0 | 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 29 20 28 6d 61 70 63 61 | -amsthm-newtheorem-list)).(mapca |
2b00 | 72 20 23 27 63 61 72 20 28 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d | r.#'car.(LaTeX-amsthm-newtheorem |
2b20 | 2d 6c 69 73 74 29 29 29 20 28 77 68 65 6e 20 28 61 6e 64 20 28 66 62 6f 75 6e 64 70 20 27 4c 61 | -list))).(when.(and.(fboundp.'La |
2b40 | 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 20 28 4c | TeX-ntheorem-newtheorem-list).(L |
2b60 | 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 29 20 | aTeX-ntheorem-newtheorem-list)). |
2b80 | 28 6d 61 70 63 61 72 20 23 27 63 61 72 20 28 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 | (mapcar.#'car.(LaTeX-ntheorem-ne |
2ba0 | 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 29 29 20 28 6d 61 70 63 61 72 20 23 27 63 61 72 20 28 | wtheorem-list))).(mapcar.#'car.( |
2bc0 | 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69 | LaTeX-thmtools-declaretheorem-li |
2be0 | 73 74 29 29 29 29 20 22 2c 22 29 29 20 28 22 6c 69 73 74 74 68 65 6f 72 65 6d 6e 61 6d 65 22 20 | st)))).",")).("listtheoremname". |
2c00 | 30 29 20 66 65 61 74 75 72 65 70 20 66 6f 6e 74 2d 6c 61 74 65 78 20 66 6f 6e 74 2d 6c 61 74 65 | 0).featurep.font-latex.font-late |
2c20 | 78 2d 73 65 74 75 70 20 66 6f 6e 74 2d 6c 61 74 65 78 2d 61 64 64 2d 6b 65 79 77 6f 72 64 73 20 | x-setup.font-latex-add-keywords. |
2c40 | 28 28 22 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 20 22 5b 7b 22 29 20 28 22 | (("declaretheoremstyle"."[{").(" |
2c60 | 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 22 20 22 5b 7b 5b 22 29 20 28 22 6c 69 73 74 6f 66 74 | declaretheorem"."[{[").("listoft |
2c80 | 68 65 6f 72 65 6d 73 22 20 22 5b 22 29 20 28 22 69 67 6e 6f 72 65 74 68 65 6f 72 65 6d 73 22 20 | heorems"."[").("ignoretheorems". |
2ca0 | 22 7b 22 29 29 20 66 75 6e 63 74 69 6f 6e 5d 20 36 5d 20 54 65 58 2d 64 69 61 6c 65 63 74 29 0a | "{")).function].6].TeX-dialect). |
2cc0 | 23 40 34 33 20 50 61 63 6b 61 67 65 20 6f 70 74 69 6f 6e 73 20 66 6f 72 20 74 68 65 20 74 68 6d | #@43.Package.options.for.the.thm |
2ce0 | 74 6f 6f 6c 73 20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 | tools.package...(defvar.LaTeX-th |
2d00 | 6d 74 6f 6f 6c 73 2d 70 61 63 6b 61 67 65 2d 6f 70 74 69 6f 6e 73 20 6e 69 6c 20 28 23 24 20 2e | mtools-package-options.nil.(#$.. |
2d20 | 20 31 31 34 36 31 29 29 0a | .11461)). |