Re: problems with thmstools (and automatic insertion of labels (reftex)

[Arash Esbati]

Uwe Brauer <oub@mat.ucm.es> writes:

>>>> "AE" == Arash Esbati <arash@gnu.org> writes:
>
>> Also write the corresponding AUCTeX style file ub-thmtools-envs.el and
>> put it where AUCTeX can find it:
>
>> (TeX-add-style-hook
>>  "ub-thmtools-envs"
>>  (lambda ()
>>    (TeX-run-style-hooks "thmtools")
>
>>    ;; Tell AUCTeX
>>    (let ((envs '(("cor" . "cor")
>>                  ("lem" . "lem")
>>                  ("prop" . "prop")
>>                  ("thm" . "thm"))))
>>      (dolist (env envs)
>>        (LaTeX-add-thmtools-declaretheorems env)

Sorry, the line above should read:

          (LaTeX-add-thmtools-declaretheorems (car env))

>>        (add-to-list 'LaTeX-label-list env t)))
>
>>    ;; Tell RefTeX
>>    (when (fboundp 'reftex-add-label-environments)
>>      (reftex-add-label-environments
>>       '(("cor" ?C "cor:%f:" "~\\ref{%s}" t ("Corollary" "Cor." "C."))))) ))

Best, Arash